diff options
| author | Guy <katz911@gmail.com> | 2016-07-27 14:27:05 -0700 |
|---|---|---|
| committer | Guy <katz911@gmail.com> | 2016-07-27 14:27:05 -0700 |
| commit | f6372ac24cc635c7639f927b1bac64f015cbec88 (patch) | |
| tree | f22fad4a894374f0927c110d7688e52f423687da /src/proof/lemma_proof.h | |
| parent | 6e5f92fe7c71fdbd11f28a11071bd3d37e429c82 (diff) | |
Proper handling of IFF lemmas in the unsat core.
Don't return duplicates in the unsat core
Diffstat (limited to 'src/proof/lemma_proof.h')
0 files changed, 0 insertions, 0 deletions