From 30c0ac9234f2e74d05fcfd13cad59733c2bb75e5 Mon Sep 17 00:00:00 2001 From: breandan Date: Mon, 28 Aug 2023 12:32:35 -0400 Subject: [PATCH] update versions --- build.gradle.kts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle.kts b/build.gradle.kts index 88191e03..5744b131 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -154,7 +154,7 @@ kotlin { // implementation(files("$projectDir/libs/mpj-0.44.jar")) implementation("org.sosy-lab:common:0.3000-529-g6152d88") - implementation("org.sosy-lab:java-smt:4.0.2") + implementation("org.sosy-lab:java-smt:4.0.3") // val z3Version = "4.12.2-glibc_2.27" // runtimeOnly("org.sosy-lab:javasmt-solver-z3:$z3Version:com.microsoft.z3@jar")