Skip to content

GitLab

sat4j
sat4j
Commit 8749c570 authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files
Options

Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git

parents b119c31e 2743478c
Pipeline #2242 passed with stages
      in 34 minutes and 22 seconds
      Show whitespace changes
      Inline Side-by-side
      Showing with 1 addition and 1 deletion
      org.sat4j.core/src/main/java/org/sat4j/minisat/core/WatcherBasedPrimeImplicantStrategy.java
      View file @ 8749c570
      ...@@ -116,7 +116,7 @@ public class WatcherBasedPrimeImplicantStrategy implements ...@@ -116,7 +116,7 @@ public class WatcherBasedPrimeImplicantStrategy implements
      } }
      } }
      solver.cancelUntil(0); solver.cancelUntil(0);
      int[] implicant = new int[this.prime.length - removed - 1]; int[] implicant = new int[propagated];
      int index = 0; int index = 0;
      for (int i : this.prime) { for (int i : this.prime) {
      if (i != 0) { if (i != 0) {
      ......
      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