Commit 97ba2270 authored by Romain Wallon's avatar Romain Wallon
Browse files

🐛 Probing is now fixed

parent 0fae1d62
Pipeline #19655 passed with stages
in 40 minutes and 45 seconds
......@@ -70,8 +70,8 @@ public class ProbingPBPreprocessing extends AbstractPBPreprocessing {
try {
solver.setSearchListener(listener(lit));
if (!solver.isSatisfiable(VecInt.of(lit))) {
if (!literals.contains(lit)) {
literals.push(lit);
if (!literals.contains(-lit)) {
literals.push(-lit);
coeffs.push(BigInteger.ONE);
}
nb++;
......
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