Commit f4123ef5 authored by Daniel Le Berre's avatar Daniel Le Berre

Merge branch 'cherry-pick-eb123484' into 'master'

this seems to fix skipping

See merge request !2
parents 3728be40 05e4da56
Pipeline #335 passed with stages
in 26 minutes and 23 seconds
......@@ -315,7 +315,7 @@ public class ConflictMap extends MapPb implements IConflict {
if (this.allowSkipping) {
if (this.weightedLits.get(nLitImplied).negate()
.compareTo(currentSlack.subtract(degree)) > 0) {
.compareTo(slackConflict()) > 0) {
if (this.endingSkipping)
stats.numberOfEndingSkipping++;
else
......
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