Commit 385db941 authored by leberre's avatar leberre

Fixed a problem in the way the best configurations are built.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@319 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent bab91de4
......@@ -126,8 +126,10 @@ public class SolverFactory extends ASolverFactory<ISolver> {
}
private static Solver<DataStructureFactory> newBestCurrentSolverConfiguration(DataStructureFactory dsf) {
Solver<DataStructureFactory> solver = new Solver<DataStructureFactory>(new FirstUIP(),new MiniSATLearning<DataStructureFactory>(),dsf,new VarOrderHeap(new RSATPhaseSelectionStrategy()),new ArminRestarts());
MiniSATLearning<DataStructureFactory> learning = new MiniSATLearning<DataStructureFactory>();
Solver<DataStructureFactory> solver = new Solver<DataStructureFactory>(new FirstUIP(),learning,dsf,new VarOrderHeap(new RSATPhaseSelectionStrategy()),new ArminRestarts());
solver.setSearchParams(new SearchParams(1.1, 100));
learning.setSolver(solver);
return solver;
}
......
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