⬆️ updates ace

crillab · Oct 29, 2024 · 3a56346 · 3a56346
1 parent a278627
commit 3a56346
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/build.gradle b/build.gradle
@@ -16,7 +16,7 @@ apply plugin: "maven-publish"
  **********************/
 
 group = "fr.cril"
-version = "0.1.18"
+version = "0.1.19"
 
 def outDir = "${rootDir}/dist"
 def jarDir = "${outDir}/home"
@@ -40,7 +40,7 @@ repositories {
 }
 
 dependencies {
-    implementation files("lib/ace-2.1.jar")
+    implementation files("lib/ace-2.4.jar")
     implementation files("lib/xcsp3-tools-2.3.jar")
     implementation group: 'fr.cril', name:'juniverse', version: '0.2.14'
 

diff --git a/lib/ace-2.1.jar → lib/ace-2.4.jar b/lib/ace-2.1.jar → lib/ace-2.4.jar
diff --git a/src/main/java/fr/univartois/cril/aceurancetourix/JUniverseAceProblemAdapter.java b/src/main/java/fr/univartois/cril/aceurancetourix/JUniverseAceProblemAdapter.java
@@ -2445,7 +2445,7 @@ public void setLowerBound(BigInteger lb) {
             var solution = solution();
             String stringSolution = solution.stream().map(BigInteger::toString).collect(
                     Collectors.joining(" "));
-            getHead().getSolver().warmStarter = new WarmStarter(stringSolution, head.solver);
+            getHead().getSolver().warmStarter = head.solver.new WarmStarter(stringSolution, head.solver);
         }
     }
 
@@ -2456,7 +2456,7 @@ public void setUpperBound(BigInteger ub) {
             var solution = solution();
             String stringSolution = solution.stream().map(BigInteger::toString).collect(
                     Collectors.joining(" "));
-            getHead().getSolver().warmStarter = new WarmStarter(stringSolution, head.solver);
+            getHead().getSolver().warmStarter = head.solver.new WarmStarter(stringSolution, head.solver);
         }
     }