projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9dd9a6f) | patch
Added an option for a more aggressive weakest implicant optimization
authorGuy <katz911@gmail.com>
Wed, 27 Jul 2016 19:54:29 +0000 (12:54 -0700)
committerGuy <katz911@gmail.com>
Wed, 27 Jul 2016 19:54:29 +0000 (12:54 -0700)
commit6e5f92fe7c71fdbd11f28a11071bd3d37e429c82
treea001eedf0b3035ffa3cf652ea70b9f39799ff340tree
parent9dd9a6f7cff50d6877a81675073a322730afad91commit | diff
Added an option for a more aggressive weakest implicant optimization
src/options/proof_options diff | blob | history
src/proof/proof_manager.cpp diff | blob | history