Skip to content

GitLab

Commit eb123484 authored by Jan Elffers's avatar Jan Elffers
1 Browse files
Options

this seems to fix skipping

parent 4e777688
Pipeline #332 passed with stage
    in 1 minute and 1 second
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 1 deletion
    org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java
    View file @ eb123484
    ......@@ -326,7 +326,7 @@ public class ConflictMap extends MapPb implements IConflict {
    System.out.println("skip");
    System.out.println("coef: " + this.weightedLits.get(nLitImplied) + ", slack: " + slackConflict());
    if (this.weightedLits.get(nLitImplied).negate()
    .compareTo(currentSlack.subtract(degree)) > 0) {
    .compareTo(slackConflict() /*currentSlack.subtract(degree) */) > 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