Update versions of the dependencies in the example Gradle project
@@ -13,14 +13,14 @@ mainClassName = 'org.sosy_lab.java_smt_example.SolverOverviewTable'
// Globally define versions used for our dependencies later in a map
def version = [
- 'javasmt': '3.11.0',
- 'javasmtYices2': '3.10.0',
+ 'javasmt': '3.12.0',
+ 'javasmtYices2': '3.12.0',
'junit4': '4.13',
'smtInterpol': '2.5-916-ga5843d8b',
- 'boolector': '3.2.2-gcc3a7091',
+ 'boolector': '3.2.2-g1a89c229',
'z3': '4.8.10',
'cvc4': '1.8-prerelease-2020-06-24-g7825d8f28',
- 'mathsat5': '5.6.6',
+ 'mathsat5': '5.6.6-sosy1',
'optiMathsat5': '1.7.1-sosy0',
'yices2': '2.6.2-396-g194350c1',
'princess': '2021-11-15'
@@ -68,10 +68,13 @@ dependencies {
implementation "org.sosy-lab:java-smt:${version.javasmt}"
// Retrieve Z3 with Maven but without a pom.xml, just the artifacts
- runtimeOnly group: 'org.sosy-lab', name: 'javasmt-solver-z3', version: version.z3, classifier: 'com.microsoft.z3', ext: 'jar'
- runtimeOnly group: 'org.sosy-lab', name: 'javasmt-solver-z3', version: version.z3, classifier: 'libz3', ext: 'so'
- runtimeOnly group: 'org.sosy-lab', name: 'javasmt-solver-z3', version: version.z3, classifier: 'libz3java', ext: 'so'
-
+ //runtimeOnly group: 'org.sosy-lab', name: 'javasmt-solver-z3', version: version.z3, classifier: 'com.microsoft.z3', ext: 'jar'
+ //runtimeOnly group: 'org.sosy-lab', name: 'javasmt-solver-z3', version: version.z3, classifier: 'libz3', ext: 'so'
+ //runtimeOnly group: 'org.sosy-lab', name: 'javasmt-solver-z3', version: version.z3, classifier: 'libz3java', ext: 'so'
+ implementation("org.sosy-lab:javasmt-solver-z3:4.8.10:com.microsoft.z3@jar")
+ implementation("org.sosy-lab:javasmt-solver-z3:4.8.10:com.microsoft.z3@jar")
+ implementation("org.sosy-lab:javasmt-solver-z3:4.8.10:libz3@so")
+ implementation("org.sosy-lab:javasmt-solver-z3:4.8.10:libz3java@so")
// Mathsat5 via Maven
runtimeOnly group: 'org.sosy-lab', name: 'javasmt-solver-mathsat5', version: version.mathsat5, classifier: 'libmathsat5j', ext: 'so'
