Commit 8efbe6a9 authored by Thibault Falque's avatar Thibault Falque
Browse files

🔥 removes "0" after the solution

parent b7cdc0b0
Pipeline #17762 passed with stages
in 53 minutes and 55 seconds
......@@ -56,6 +56,7 @@ import org.sat4j.pb.preprocessing.GaussPBPreprocessing;
import org.sat4j.pb.preprocessing.NullPBPreprocessing;
import org.sat4j.pb.preprocessing.PBPreprocessing;
import org.sat4j.pb.preprocessing.ProbingPBPreprocessing;
import org.sat4j.pb.preprocessing.PureLiteralsPBPreprocessing;
import org.sat4j.pb.reader.OPBReader2012;
import org.sat4j.pb.restarts.GrowingCoefficientRestarts;
import org.sat4j.pb.tools.InprocCardConstrLearningSolver;
......@@ -545,6 +546,9 @@ public class KTHLauncher {
if("probing".equals(v)) {
preproc=new ProbingPBPreprocessing(preproc);
}
if("pure".equals(v)) {
preproc=new PureLiteralsPBPreprocessing(preproc);
}
}
pbsolver=new PreprocessibleSolver(cpsolver, preproc);
}
......@@ -588,7 +592,7 @@ public class KTHLauncher {
} else {
log("SATISFIABLE", "s ");
}
log(reader.decode(optimizer.model()) + " 0", "v ");
log(reader.decode(optimizer.model()), "v ");
} else {
log("UNSATISFIABLE", "s ");
}
......
<body>
SAT4J: a SATisfiability library for Java.
<pre>
/*
* SAT4J: a SATisfiability library for Java
* Copyright (C) 2004-2006 Daniel Le Berre
*
* Based on the original minisat specification from:
*
* An extensible SAT solver. Niklas Eén and Niklas Sörensson.
* Proceedings of the Sixth International Conference on Theory
* and Applications of Satisfiability Testing, LNCS 2919,
* pp 502-518, 2003.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*
*/
</pre>
</body>
\ No newline at end of file
Supports Markdown
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