From bc1be69d88600d87df55d84f4591292d4c7656c1 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 1 Dec 2023 19:19:12 +0100 Subject: feat: subproject for z3 integration --- gradle/libs.versions.toml | 1 + 1 file changed, 1 insertion(+) (limited to 'gradle') diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml index 5f9dde6e..59d1ded5 100644 --- a/gradle/libs.versions.toml +++ b/gradle/libs.versions.toml @@ -41,6 +41,7 @@ mwe-utils = { group = "org.eclipse.emf", name = "org.eclipse.emf.mwe.utils", ver mwe2-launch = { group = "org.eclipse.emf", name = "org.eclipse.emf.mwe2.launch", version.ref = "mwe2" } mwe2-lib = { group = "org.eclipse.emf", name = "org.eclipse.emf.mwe2.lib", version.ref = "mwe2" } ortools = { group = "com.google.ortools", name = "ortools-java", version = "9.9.3963" } +refinery-z3 = { group = "tools.refinery.z3", name = "refinery-z3-solver", version = "4.12.2" } slf4j-api = { group = "org.slf4j", name = "slf4j-api", version.ref = "slf4j" } slf4j-simple = { group = "org.slf4j", name = "slf4j-simple", version.ref = "slf4j" } slf4j-log4j = { group = "org.slf4j", name = "log4j-over-slf4j", version.ref = "slf4j" } -- cgit v1.2.3-54-g00ecf