projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6743ddb) | patch
If we can't find a weaker implicant, fail gracefully and return the original lemma
authorGuy <katz911@gmail.com>
Wed, 27 Jul 2016 16:46:24 +0000 (09:46 -0700)
committerGuy <katz911@gmail.com>
Wed, 27 Jul 2016 16:46:24 +0000 (09:46 -0700)
commit9dd9a6f7cff50d6877a81675073a322730afad91
tree548d4bb8535b6fd254b513138a2fe75e195724d5tree
parent6743ddb177b7b525d097bb94114a2c4c496ec8bacommit | diff
If we can't find a weaker implicant, fail gracefully and return the original lemma
src/proof/proof_manager.cpp diff | blob | history