projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ec7ff2) | patch
The "aggressive" optimizer for lemma L now returns the conjunction of all lemmas...
authorGuy <katz911@gmail.com>
Thu, 28 Jul 2016 20:40:36 +0000 (13:40 -0700)
committerGuy <katz911@gmail.com>
Thu, 28 Jul 2016 20:40:36 +0000 (13:40 -0700)
commit2bd04431e38dbbaad843a8f92ba730a6a7a86e53
treefdc06e1c6d2006ea9919d77b47d5393134ace90atree
parent0ec7ff2ab463ea23c9c461d2544182744f688db6commit | diff
The "aggressive" optimizer for lemma L now returns the conjunction of all lemmas L' that originated from L and were used in the unsat core
src/proof/proof_manager.cpp diff | blob | history