diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-30 11:05:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-30 11:05:54 -0700 |
| commit | cd39fd6b0585659922908d172b0d058a5cb02dbb (patch) | |
| tree | 47e0bce1b658026e15ba4f0d3373bb74b680c908 /src/sat/bsat/satSolver2.h | |
| parent | 401aa6994a63ad60d51ac894dc5ef4141ca33f1a (diff) | |
| download | abc-cd39fd6b0585659922908d172b0d058a5cb02dbb.tar.gz abc-cd39fd6b0585659922908d172b0d058a5cb02dbb.tar.bz2 abc-cd39fd6b0585659922908d172b0d058a5cb02dbb.zip | |
Fixing performance bug with old proof-logging (adding clauses multiple times).
Diffstat (limited to 'src/sat/bsat/satSolver2.h')
0 files changed, 0 insertions, 0 deletions