projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e5f92f) | patch
Proper handling of IFF lemmas in the unsat core.
authorGuy <katz911@gmail.com>
Wed, 27 Jul 2016 21:27:05 +0000 (14:27 -0700)
committerGuy <katz911@gmail.com>
Wed, 27 Jul 2016 21:27:05 +0000 (14:27 -0700)
commitf6372ac24cc635c7639f927b1bac64f015cbec88
treef22fad4a894374f0927c110d7688e52f423687datree
parent6e5f92fe7c71fdbd11f28a11071bd3d37e429c82commit | diff
Proper handling of IFF lemmas in the unsat core.
Don't return duplicates in the unsat core
src/proof/proof_manager.cpp diff | blob | history
src/theory/theory_engine.cpp diff | blob | history