Commit 2d94b774 authored by leberre's avatar leberre
Browse files

It looks like AllMuses has a problem with the simplifyDB method (when...

It looks like AllMuses has a problem with the simplifyDB method (when activating that option, the solver gets stalled on it).
Deactivated it by default, until understanding the reason of the problem.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1681 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 6b531087
......@@ -97,6 +97,7 @@ public class MUSLauncher extends AbstractLauncher {
this.xplain = xp;
solver = xp;
}
solver.setDBSimplificationAllowed(true);
if (args.length == 2) {
// retrieve minimization strategy
if ("all".equals(args[0])) {
......@@ -115,7 +116,6 @@ public class MUSLauncher extends AbstractLauncher {
}
}
solver.setTimeout(Integer.MAX_VALUE);
solver.setDBSimplificationAllowed(true);
getLogWriter().println(solver.toString(COMMENT_PREFIX));
return solver;
}
......@@ -158,10 +158,12 @@ public class MUSLauncher extends AbstractLauncher {
}
public void onSolutionFound(IVecInt solution) {
System.out.printf("\r found mus number %d",
++muscount);
System.out.println(solver.getLogPrefix()
+ "found mus number " + ++muscount);
out.print(ILauncherMode.SOLUTION_PREFIX);
reader.decode(solution.toArray(), out);
int[] currentMus = new int[solution.size()];
solution.copyTo(currentMus);
reader.decode(currentMus, out);
out.println();
}
......
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