Commit f6426f27 authored by leberre's avatar leberre
Browse files

Print MUS with extra 0 at the end...

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1682 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 2d94b774
......@@ -161,9 +161,7 @@ public class MUSLauncher extends AbstractLauncher {
System.out.println(solver.getLogPrefix()
+ "found mus number " + ++muscount);
out.print(ILauncherMode.SOLUTION_PREFIX);
int[] currentMus = new int[solution.size()];
solution.copyTo(currentMus);
reader.decode(currentMus, out);
reader.decode(solution.toArray(), 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