diff options
Diffstat (limited to 'src/sat/bsat/satSolver.h')
| -rw-r--r-- | src/sat/bsat/satSolver.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h index 5215267b..8998b78c 100644 --- a/src/sat/bsat/satSolver.h +++ b/src/sat/bsat/satSolver.h @@ -141,6 +141,9 @@ struct sat_solver_t int fVerbose; stats_t stats; + int nLearntStart; // starting learned clause limit + int nLearntDelta; // delta of learned clause limit + int nLearntRatio; // ratio percentage of learned clauses int nLearntMax; // max number of learned clauses int nDBreduces; // number of DB reductions // veci learned; // contain learnt clause handles |