BlackBoxConfigurator.setNogoodOnRestart(false) as default value

chocoteam · Aug 24, 2023 · 2f3aef6 · 2f3aef6
1 parent 6cdd154
commit 2f3aef6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/parsers/src/main/java/org/chocosolver/parser/dimacs/DIMACS.java b/parsers/src/main/java/org/chocosolver/parser/dimacs/DIMACS.java
@@ -137,6 +137,7 @@ public void parse(Model target, DIMACSParser parser, int i) throws Exception {
         parser.model(target, instance);
         if (i == 0) {
             BlackBoxConfigurator.init()
+                    .setNogoodOnRestart(true)
                     .setRestartPolicy(
                             s -> new Restarter(
                                     new GeometricalCutoff(5, 1.05),

diff --git a/solver/src/main/java/org/chocosolver/solver/search/strategy/BlackBoxConfigurator.java b/solver/src/main/java/org/chocosolver/solver/search/strategy/BlackBoxConfigurator.java
@@ -85,7 +85,7 @@ public class BlackBoxConfigurator {
     Function<Solver, AbstractRestart> restartPolicy;
 
     /**
-     * Set nogood recording in restart (default is true)
+     * Set nogood recording in restart (default is false)
      */
     boolean nogoodOnRestart;
 
@@ -130,7 +130,7 @@ public static BlackBoxConfigurator init() {
                 .setMetaStrategy(Search::lastConflict)
                 .setRestartPolicy(solver -> AbstractRestart.NO_RESTART)
                 .setRestartOnSolution(false)
-                .setNogoodOnRestart(true)
+                .setNogoodOnRestart(false)
                 .setExcludeViews(false)
                 .setExcludeObjective(true);
     }