diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-08-20 18:23:53 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-08-20 18:23:53 +0000 |
| commit | 314e777887f32c8cf656dbc56f370da6dd0bf76e (patch) | |
| tree | 03ef52aadfc7b038827b0310f1d5cc907ad2c55f /src/prop/sat.h | |
| parent | 826cdda16314c240ca6e9c2d524a5fc107d6d899 (diff) | |
updating the minisat restart parameters after running some experiments
Diffstat (limited to 'src/prop/sat.h')
| -rw-r--r-- | src/prop/sat.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/prop/sat.h b/src/prop/sat.h index 8581cd9a0..7229b3565 100644 --- a/src/prop/sat.h +++ b/src/prop/sat.h @@ -233,8 +233,6 @@ inline SatSolver::SatSolver(PropEngine* propEngine, TheoryEngine* theoryEngine, d_minisat = new Minisat::SimpSolver(this, d_context); // Setup the verbosity d_minisat->verbosity = (options->verbosity > 0) ? 1 : -1; - // Do not delete the satisfied clauses, just the learnt ones - d_minisat->remove_satisfied = false; // No random choices if(Debug.isOn("no_rnd_decisions")){ |