Commit 91c54ae4 authored by Daniel Le Berre's avatar Daniel Le Berre

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

This reverts commit efcfea8c.
parent 17d9c91b
Pipeline #3714 passed with stages
in 30 minutes and 17 seconds
......@@ -610,9 +610,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