projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06d91e9) | patch
Allow a caller to query whether an unsat core is available or not
authorGuy <katz911@gmail.com>
Wed, 20 Jul 2016 02:13:01 +0000 (19:13 -0700)
committerGuy <katz911@gmail.com>
Wed, 20 Jul 2016 02:13:01 +0000 (19:13 -0700)
commit3e3563a1f312b024653503837a56aef10a41eb9f
treea1167a8c8d7b6b1900ea2e9e4e3fba473827b113tree
parent06d91e9121ecdadfc96d6175792992395833329fcommit | diff
Allow a caller to query whether an unsat core is available or not
src/proof/proof_manager.cpp diff | blob | history
src/proof/proof_manager.h diff | blob | history
src/proof/sat_proof.h diff | blob | history
src/proof/sat_proof_implementation.h diff | blob | history