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

Fix for #157.

parent 50012727
Pipeline #6173 failed with stages
in 30 minutes and 12 seconds
......@@ -211,7 +211,7 @@ public final class Backbone {
}
litsToTest.clear();
}
solver.removeConstr(constr);
solver.removeSubsumedConstr(constr);
} catch (ContradictionException e) {
for (IteratorInt it = litsToTest.iterator(); it
.hasNext();) {
......
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