From 6076dfbf7f9f9be43f6c95cdfa4e292decc87baa Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Wed, 4 Apr 2012 16:33:39 +0000 Subject: [PATCH] some settings in bvminisat --- src/prop/bvminisat/core/Solver.cc | 7 +++++++ 1 file changed, 7 insertions(+) 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; -- 2.30.2