gradle.properties « z3 - refinery - Mirror of https://github.com/graphs4value/refinery

index : refinery

Mirror of https://github.com/graphs4value/refinery

Graphs4Value

about summary refs log tree commit diff stats

path: root/z3/gradle.properties

blob: 73b4d59656721cfa64ee9155271df94b789b4f5b (plain) (blame)

# SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
#
# SPDX-License-Identifier: Apache-2.0

file.encoding=UTF-8
group=tools.refinery.z3
org.gradle.configuration-cache=false
org.gradle.parallel=true
version=4.12.6