From a2228ee09b76bd6b33156c5bc4ad1fcd5cfe13a6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 10 Dec 2011 14:45:35 -0800 Subject: Implementing rollback in the updated solver. --- src/sat/bsat/satSolver2.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/sat/bsat/satSolver2.h') 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 -- cgit v1.2.3