diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-11 21:11:45 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-11 21:11:45 -0800 |
| commit | 4abb1ce8a45d115567a125c6b2b00d48f6776aff (patch) | |
| tree | fc87d6915f81f19282f88f529e93a1497e0c3a82 /src/sat/bsat | |
| parent | ae521b66019623fd6ed51d89bef8244650227876 (diff) | |
| download | abc-4abb1ce8a45d115567a125c6b2b00d48f6776aff.tar.gz abc-4abb1ce8a45d115567a125c6b2b00d48f6776aff.tar.bz2 abc-4abb1ce8a45d115567a125c6b2b00d48f6776aff.zip | |
Commenting out uncommented message.
Diffstat (limited to 'src/sat/bsat')
| -rw-r--r-- | src/sat/bsat/satSolver.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index efe8efa6..37e0ea94 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -1456,7 +1456,7 @@ void sat_solver_reducedb(sat_solver* s) s->nDBreduces++; - printf( "Calling reduceDB with %d learned clause limit.\n", s->nLearntMax ); + //printf( "Calling reduceDB with %d learned clause limit.\n", s->nLearntMax ); s->nLearntMax = s->nLearntStart + s->nLearntDelta * s->nDBreduces; // return; |