Commit 49455f0b authored by Romain Wallon's avatar Romain Wallon
Browse files

Fixes the weakened literal given to the PBSearchListener.

parent 3610d72b
Pipeline #17493 passed with stages
in 47 minutes and 21 seconds
......@@ -238,7 +238,7 @@ public class ConflictMapDivideByPivot extends ConflictMap {
coeffImplied);
reducedCoefs[i] = tmp[0];
listener.weakenOnReason(tmp[1],
LiteralsUtils.toDimacs(weightedLits.getLit(i)));
LiteralsUtils.toDimacs(wpb.get(i)));
outputDegree = outputDegree.subtract(tmp[1]);
}
}
......
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