Commit df272516 authored by leberre's avatar leberre

Made PB default solver also the default for MAXSAT.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1722 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 13560a07
......@@ -101,14 +101,8 @@ public class SolverFactory extends ASolverFactory<IPBSolver> {
return newLight();
}
public static IPBSolver newDefault() {
PBSolverResolution solver = org.sat4j.pb.SolverFactory.newResolutionGlucoseExpSimp();
solver.setRestartStrategy(new NoRestarts());
// solver.setOrder(new RandomWalkDecorator(new VarOrderHeap(new NegativeLiteralSelectionStrategy()),0.01));
solver.getOrder().setPhaseSelectionStrategy(new NegativeLiteralSelectionStrategy());
solver.setSimplifier(Solver.NO_SIMPLIFICATION);
solver.setLearnedConstraintsDeletionStrategy(solver.memory_based);
return solver;
public static IPBSolver newDefault() {
return org.sat4j.pb.SolverFactory.newDefault();
}
public static IPBSolver newLight() {
......
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