X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satlib.git;a=blobdiff_plain;f=glucose-syrup%2Fsimp%2FSimpSolver.h;h=c7dcff76172d7c0b026270c9c9e1912286282f4e;hp=5f457a803701431ea405dcd1e0b2247768c44211;hb=e7ff907e7c340f8dd59d47b6ec2922b854d5f5b8;hpb=62e3101fad910dbe37baa6fdac866b36cb81abe8

diff --git a/glucose-syrup/simp/SimpSolver.h b/glucose-syrup/simp/SimpSolver.h
index 5f457a8..c7dcff7 100644
--- 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           ();