From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Wed, 4 Apr 2012 16:33:39 +0000 (+0000)
Subject: some settings in bvminisat
X-Git-Tag: cvc5-1.0.0~8240
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6076dfbf7f9f9be43f6c95cdfa4e292decc87baa;p=cvc5.git

some settings in bvminisat
---

diff --git a/src/prop/bvminisat/core/Solver.cc b/src/prop/bvminisat/core/Solver.cc
index c5a0a3ce5..238a9cbf7 100644
--- a/src/prop/bvminisat/core/Solver.cc
+++ b/src/prop/bvminisat/core/Solver.cc
@@ -843,6 +843,13 @@ lbool Solver::solve_()
     conflict.clear();
 
     ccmin_mode = 2;
+
+    // reduce the database
+    reduceDB();
+
+    // this is a new search, reset the parameters
+    restart_first = opt_restart_first;
+    restart_inc = opt_restart_inc;
     
     if (!ok) return l_False;