From 87488f79342d480885ae257492ee755c5471862c Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Mon, 11 Mar 2024 15:25:41 +0100 Subject: [PATCH] Fixed versioning of legacy solver --- .../java/hu/bme/mit/theta/solver/z3legacy/Z3SolverManager.java | 2 +- .../main/java/hu/bme/mit/theta/solver/z3/Z3SolverManager.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/subprojects/solver/solver-z3-legacy/src/main/java/hu/bme/mit/theta/solver/z3legacy/Z3SolverManager.java b/subprojects/solver/solver-z3-legacy/src/main/java/hu/bme/mit/theta/solver/z3legacy/Z3SolverManager.java index 130464eb3a..421cd163f9 100644 --- a/subprojects/solver/solver-z3-legacy/src/main/java/hu/bme/mit/theta/solver/z3legacy/Z3SolverManager.java +++ b/subprojects/solver/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 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 index eff5ca1dfe..22a4b2768d 100644 --- 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 instantiatedSolvers = new HashSet<>();