diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-12-01 19:19:12 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2024-04-07 14:55:44 +0200 |
| commit | bc1be69d88600d87df55d84f4591292d4c7656c1 (patch) | |
| tree | 77aed2a45394e182603d2b36700384132da33655 /gradle | |
| parent | chore(z3): bump to z3 4.12.6 (diff) | |
| download | refinery-bc1be69d88600d87df55d84f4591292d4c7656c1.tar.gz refinery-bc1be69d88600d87df55d84f4591292d4c7656c1.tar.zst refinery-bc1be69d88600d87df55d84f4591292d4c7656c1.zip | |
feat: subproject for z3 integration
Diffstat (limited to 'gradle')
| -rw-r--r-- | gradle/libs.versions.toml | 1 |
1 files changed, 1 insertions, 0 deletions
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 | |||
| 41 | mwe2-launch = { group = "org.eclipse.emf", name = "org.eclipse.emf.mwe2.launch", version.ref = "mwe2" } | 41 | mwe2-launch = { group = "org.eclipse.emf", name = "org.eclipse.emf.mwe2.launch", version.ref = "mwe2" } |
| 42 | mwe2-lib = { group = "org.eclipse.emf", name = "org.eclipse.emf.mwe2.lib", version.ref = "mwe2" } | 42 | mwe2-lib = { group = "org.eclipse.emf", name = "org.eclipse.emf.mwe2.lib", version.ref = "mwe2" } |
| 43 | ortools = { group = "com.google.ortools", name = "ortools-java", version = "9.9.3963" } | 43 | ortools = { group = "com.google.ortools", name = "ortools-java", version = "9.9.3963" } |
| 44 | refinery-z3 = { group = "tools.refinery.z3", name = "refinery-z3-solver", version = "4.12.2" } | ||
| 44 | slf4j-api = { group = "org.slf4j", name = "slf4j-api", version.ref = "slf4j" } | 45 | slf4j-api = { group = "org.slf4j", name = "slf4j-api", version.ref = "slf4j" } |
| 45 | slf4j-simple = { group = "org.slf4j", name = "slf4j-simple", version.ref = "slf4j" } | 46 | slf4j-simple = { group = "org.slf4j", name = "slf4j-simple", version.ref = "slf4j" } |
| 46 | slf4j-log4j = { group = "org.slf4j", name = "log4j-over-slf4j", version.ref = "slf4j" } | 47 | slf4j-log4j = { group = "org.slf4j", name = "log4j-over-slf4j", version.ref = "slf4j" } |