diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-09 19:24:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-09 19:24:39 -0700 |
| commit | 637736827a770d32778c832802dd8c6ddee73073 (patch) | |
| tree | 8edb5a7e81aa63b1ae82114ecbff801c61ed3934 /src/sat/bsat/satSolver.h | |
| parent | 22dc4983740830d1b37a434f11af57c70e26ec7b (diff) | |
| download | abc-637736827a770d32778c832802dd8c6ddee73073.tar.gz abc-637736827a770d32778c832802dd8c6ddee73073.tar.bz2 abc-637736827a770d32778c832802dd8c6ddee73073.zip | |
Adding several command-line arguments to 'dsat'.
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 |