Commit 4d97c59e authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Merge branch 'master' of

parents 50473487 7de2fa4d
Pipeline #2947 passed with stages
in 41 minutes and 34 seconds
...@@ -1204,7 +1204,7 @@ public class Solver<D extends DataStructureFactory> ...@@ -1204,7 +1204,7 @@ public class Solver<D extends DataStructureFactory>
private IVecInt unsatExplanationInTermsOfAssumptions; private IVecInt unsatExplanationInTermsOfAssumptions;
Lbool search(IVecInt assumps) { private Lbool search(IVecInt assumps) {
assert this.rootLevel == decisionLevel(); assert this.rootLevel == decisionLevel();
this.stats.starts++; this.stats.starts++;
int backjumpLevel; int backjumpLevel;
Supports Markdown
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