build: package Z3 solver native libraries

1 files changed, 15 insertions, 0 deletions

diff --git a/z3/gradle/libs.versions.toml b/z3/gradle/libs.versions.toml
new file mode 100644
index 00000000..88cf8083
--- /dev/null
+++ b/z3/gradle/libs.versions.toml
@@ -0,0 +1,15 @@
+# SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
+#
+# SPDX-License-Identifier: Apache-2.0
+
+[versions]
+junit = "5.10.1"
+
+[libraries]
+asm = { group = "org.ow2.asm", name = "asm", version = "9.6" }
+jna = { group = "net.java.dev.jna", name = "jna", version = "5.13.0" }
+junit-api = { group = "org.junit.jupiter", name = "junit-jupiter-api", version.ref = "junit" }
+junit-engine = { group = "org.junit.jupiter", name = "junit-jupiter-engine", version.ref = "junit" }
+
+[plugins]
+versions = { id = "com.github.ben-manes.versions", version = "0.50.0" }