From c9ad5880cc61787dec6d018111b63023407ce0e6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 29 Oct 2008 08:01:00 -0700
Subject: Version abc81029

---
 src/sat/bsat/satSolver.h | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/sat/bsat/satSolver.h')

diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h
index 00ac60ca..7bb4bd6c 100644
--- a/src/sat/bsat/satSolver.h
+++ b/src/sat/bsat/satSolver.h
@@ -210,5 +210,13 @@ static void sat_solver_act_var_clear(sat_solver* s)
         s->activity[i] = 0.0;
     s->var_inc = 1.0;
 }
+static void sat_solver_compress(sat_solver* s) 
+{
+    if ( s->qtail != s->qhead )
+    {
+        int RetValue = sat_solver_simplify(s);
+        assert( RetValue != 0 );
+    }
+}
 
 #endif
-- 
cgit v1.2.3