diff options
| author | Guy <katz911@gmail.com> | 2016-07-01 14:21:13 -0700 |
|---|---|---|
| committer | Guy <katz911@gmail.com> | 2016-07-01 14:21:13 -0700 |
| commit | 1d4ad74ca90641bd9165f9a2c019c54cde6e80c1 (patch) | |
| tree | f6d1db1ca667a9c0e70b4a8f8b655e1a92a08627 /src/proof/cnf_proof.cpp | |
| parent | e252f83e7298fdbad1ac8882763e7571e7a83235 (diff) | |
Handle bitvector lemmas where a literal gets rewritten into false, and consequently the lemma doesn't match a recorded conflict
Diffstat (limited to 'src/proof/cnf_proof.cpp')
0 files changed, 0 insertions, 0 deletions