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           ();