1 files changed, 9 insertions, 0 deletions

diff --git a/z3/build.gradle.kts b/z3/build.gradle.kts
new file mode 100644
index 00000000..74ee6bc8
--- /dev/null
+++ b/z3/build.gradle.kts
@@ -0,0 +1,9 @@
+/*
+ * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+plugins {
+        alias(libs.plugins.versions)
+}