Update dependency org.sosy-lab:java-smt to v4

| datasource | package | from | to | | ---------- | --------------------- | ------ | ----- | | maven | org.sosy-lab:java-smt | 3.14.3 | 4.0.2 |
arrow-kt · Jun 7, 2023 · c3488f4 · c3488f4
1 parent fa9fcb8
commit c3488f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gradle/projects.libs.versions.toml b/gradle/projects.libs.versions.toml
@@ -8,7 +8,7 @@ junit = "5.9.2"
 junitLauncher = "1.9.2"
 kotlin = "1.8.21"
 kotest = "5.6.1"
-javaSmt = "3.14.3"
+javaSmt = "4.0.2"
 javaCompileTesting = "0.21.0"
 apacheCommonsText = "1.10.0"
 sarif4k = "0.3.0"