Fixed versioning of legacy solver

ftsrg · Mar 11, 2024 · 87488f7 · 87488f7
1 parent 2ff9e35
commit 87488f7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/...lver/solver-z3-legacy/src/main/java/hu/bme/mit/theta/solver/z3legacy/Z3SolverManager.java b/...lver/solver-z3-legacy/src/main/java/hu/bme/mit/theta/solver/z3legacy/Z3SolverManager.java
@@ -30,7 +30,7 @@
 
 public final class Z3SolverManager extends SolverManager {
 
-    private static final String NAME = "Z3:4.13";
+    private static final String NAME = "Z3";
 
     private boolean closed = false;
     private final Set<SolverBase> instantiatedSolvers = new HashSet<>();

diff --git a/subprojects/solver/solver-z3/src/main/java/hu/bme/mit/theta/solver/z3/Z3SolverManager.java b/subprojects/solver/solver-z3/src/main/java/hu/bme/mit/theta/solver/z3/Z3SolverManager.java
@@ -30,7 +30,7 @@
 
 public final class Z3SolverManager extends SolverManager {
 
-    private static final String NAME = "Z3";
+    private static final String NAME = "Z3:4.13";
 
     private boolean closed = false;
     private final Set<SolverBase> instantiatedSolvers = new HashSet<>();