Commit 67425abc authored by leberre's avatar leberre

Removed prime implicants from MS computation.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1733 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 3bd23f38
......@@ -153,7 +153,7 @@ public class GenericOptLauncher extends AbstractLauncher {
aPBSolverName = "Default";
}
if ("minone".equalsIgnoreCase(kind)) {
asolver = new MinOneDecorator(SolverFactory.newDefault());
asolver = new MinOneDecorator(org.sat4j.minisat.SolverFactory.newDefault());
} else if ("mincost".equalsIgnoreCase(kind)
|| args[problemindex].endsWith(".p2cnf")) {
asolver = new MinCostDecorator(SolverFactory.newDefault());
......@@ -180,7 +180,7 @@ public class GenericOptLauncher extends AbstractLauncher {
asolver = this.wmsd;
}else{
asolver = new PseudoOptDecorator(this.wmsd, false,
!equivalence);
false);
}
}
if (cmd.hasOption("i")) {
......
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