Commit 4f8996c6 authored by leberre's avatar leberre
Browse files

Updated launcher to allow compute all muses.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1677 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent ccc53e6e
......@@ -95,7 +95,9 @@ public class AllMUSes {
* @return a list containing all the MUSes
*/
public List<IVecInt> computeAllMUSes(SolutionFoundListener listener) {
computeAllMSS();
if (secondPhaseClauses.isEmpty()) {
computeAllMSS();
}
css.internalState();
ISolver solver = SolverFactory.newDefault();
......
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