projects
/
satlib.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Adding support for reading wrong assumptions
[satlib.git]
/
glucose-syrup
/
simp
/
SimpSolver.h
diff --git
a/glucose-syrup/simp/SimpSolver.h
b/glucose-syrup/simp/SimpSolver.h
index 5f457a803701431ea405dcd1e0b2247768c44211..c7dcff76172d7c0b026270c9c9e1912286282f4e 100644
(file)
--- a/
glucose-syrup/simp/SimpSolver.h
+++ b/
glucose-syrup/simp/SimpSolver.h
@@
-193,7
+193,7
@@
class SimpSolver : public Solver {
bool backwardSubsumptionCheck (bool verbose = false);
bool eliminateVar (Var v);
void extendModel ();
-
+ void unsatExplanation();
void removeClause (CRef cr,bool inPurgatory=false);
bool strengthenClause (CRef cr, Lit l);
void cleanUpClauses ();