Commit 7f4556de authored by leberre's avatar leberre
Browse files

Fixed issue SAT-85.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1669 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 28cf778c
......@@ -742,11 +742,30 @@ public class SolverFactory extends ASolverFactory<IPBSolver> {
return solver;
}
/**
* Provides the best available PB solver of the library ready to solve
* satisfaction problems. If you need to solve optimization problems, please
* use {@link #newDefaultOptimizer()}
*
* @return a solver ready to solve satisfaction problems.
*/
@Override
public PBSolver defaultSolver() {
return newDefault();
}
/**
* Provides the best available PB solver of the library ready to solve
* optimization problems. If you only need to solve satisfaction problems,
* please use {@link #newDefault()} instead.
*
* @return a solver ready to solve optimization problems.
* @since 2.3.3
*/
public static IPBSolver newDefaultOptimizer() {
return new OptToPBSATAdapter(new PseudoOptDecorator(newDefault()));
}
/**
* Small footprint SAT 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