diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-04-04 16:33:39 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-04-04 16:33:39 +0000 |
| commit | 6076dfbf7f9f9be43f6c95cdfa4e292decc87baa (patch) | |
| tree | 5b8af054d427161d86fdad4616653b65d2d13177 /src/prop | |
| parent | bc87b6c6b30dbc2ec0336b2fda0a71c77e662267 (diff) | |
some settings in bvminisat
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/bvminisat/core/Solver.cc | 7 |
1 files changed, 7 insertions, 0 deletions
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; |