1 files changed, 9 insertions, 0 deletions
diff --git a/z3/gradle.properties b/z3/gradle.properties
new file mode 100644
index 00000000..73b4d596
--- /dev/null
+++ b/z3/gradle.properties
@@ -0,0 +1,9 @@
+# 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

diff --git a/z3/gradle.properties b/z3/gradle.properties new file mode 100644 index 00000000..73b4d596 --- /dev/null +++ b/z3/gradle.properties
@@ -0,0 +1,9 @@
	1	# SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
	2	#
	3	# SPDX-License-Identifier: Apache-2.0
	4
	5	file.encoding=UTF-8
	6	group=tools.refinery.z3
	7	org.gradle.configuration-cache=false
	8	org.gradle.parallel=true
	9	version=4.12.6