Commit 3a230a25 authored by Daniel Le Berre's avatar Daniel Le Berre

Replaced all calls to the solver factory by a call to SolverFactory.newDefault().

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@326 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent fb68ea41
......@@ -300,7 +300,7 @@ public class SuDoku {
suDokuResources = new SuDokuResources();
sdSize = new SDSize();
gui = new GUIInput(mainProgramWindow, sdSize, this, maxSide);
solver = SolverFactory.newMiniLearning(20);
solver = SolverFactory.newDefault();
randomCellChooser = new Random();
}
......@@ -553,7 +553,7 @@ public class SuDoku {
StringBuffer model = new StringBuffer("s SATISFIABLE\n");
clauses = 0;
solver = SolverFactory.newMiniLearning();
solver = SolverFactory.newDefault();
Sat4jClauseHandler ch = new Sat4jClauseHandler(numOfVariables(), solver);
......@@ -644,7 +644,7 @@ public class SuDoku {
StringBuffer model = new StringBuffer("s SATISFIABLE\n");
clauses = 0;
solver = SolverFactory.newMiniLearning();
solver = SolverFactory.newDefault();
Sat4jClauseHandler ch = new Sat4jClauseHandler(numOfVariables(), solver);
......@@ -778,7 +778,7 @@ public class SuDoku {
* sdSize.getLargeSide() / 2);
progressbar.setProgress(0);
while (!success) {
csolver = SolverFactory.newMiniLearning2Heap();
csolver = SolverFactory.newDefault();
Sat4jClauseHandler ch = new Sat4jClauseHandler(numOfVariables(),
csolver);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment