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

Fix heuristics bumping (according to Armin's comments).

parent e49f712a
Pipeline #2321 failed with stages
in 4 minutes and 49 seconds
......@@ -611,9 +611,9 @@ public class Solver<D extends DataStructureFactory>
// Trace reason for p
for (int j = 0; j < preason.size(); j++) {
int q = preason.get(j);
this.order.updateVar(q);
if (!seen[q >> 1]) {
seen[q >> 1] = true;
this.order.updateVar(q);
if (this.voc.getLevel(q) == decisionLevel()) {
counter++;
this.order.updateVarAtDecisionLevel(q);
......
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