diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-30 11:31:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-30 11:31:26 -0700 |
| commit | ed564664f1ab86611cc05245745a22501f8414c2 (patch) | |
| tree | bb9c5d150a72ae5f4112006619debea8ef7f4ab8 /src/sat/bsat/satSolver2.h | |
| parent | cd39fd6b0585659922908d172b0d058a5cb02dbb (diff) | |
| download | abc-ed564664f1ab86611cc05245745a22501f8414c2.tar.gz abc-ed564664f1ab86611cc05245745a22501f8414c2.tar.bz2 abc-ed564664f1ab86611cc05245745a22501f8414c2.zip | |
Disabling learned clause removal when incremental proof-logging is running (tends to generate smaller abstarctions).
Diffstat (limited to 'src/sat/bsat/satSolver2.h')
0 files changed, 0 insertions, 0 deletions