diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-10 14:45:35 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-10 14:45:35 -0800 |
| commit | a2228ee09b76bd6b33156c5bc4ad1fcd5cfe13a6 (patch) | |
| tree | 87c2e3ed80a478a3eb2169e66037f662e2c50af3 /src/sat/bsat/satSolver2.h | |
| parent | 871171ffa42fe24c27831f05227fb9adfc512448 (diff) | |
| download | abc-a2228ee09b76bd6b33156c5bc4ad1fcd5cfe13a6.tar.gz abc-a2228ee09b76bd6b33156c5bc4ad1fcd5cfe13a6.tar.bz2 abc-a2228ee09b76bd6b33156c5bc4ad1fcd5cfe13a6.zip | |
Implementing rollback in the updated solver.
Diffstat (limited to 'src/sat/bsat/satSolver2.h')
| -rw-r--r-- | src/sat/bsat/satSolver2.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satSolver2.h b/src/sat/bsat/satSolver2.h index 063b6376..83dbb6cb 100644 --- a/src/sat/bsat/satSolver2.h +++ b/src/sat/bsat/satSolver2.h @@ -108,7 +108,7 @@ struct sat_solver2_t #endif int fNotUseRandom; // do not allow random decisions with a fixed probability -// int fSkipSimplify; // set to one to skip simplification of the clause database + int fSkipSimplify; // set to one to skip simplification of the clause database int fProofLogging; // enable proof-logging // clauses |