projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f13c07) | patch
fixes to the proof system so it works with theory lemmas and explanations
authorlianah <lianahady@gmail.com>
Fri, 10 May 2013 19:52:37 +0000 (15:52 -0400)
committerlianah <lianahady@gmail.com>
Fri, 10 May 2013 19:52:45 +0000 (15:52 -0400)
commitf84120cd5311450de2075a91356524d4e20d457c
tree1a9220eee3d0063b76794bca414a26132007d8ddtree
parent7f13c0713accdefa46ce2a43dbeae8c46255bea1commit | diff
fixes to the proof system so it works with theory lemmas and explanations
src/proof/sat_proof.cpp diff | blob | history
src/proof/sat_proof.h diff | blob | history
src/prop/minisat/core/Solver.cc diff | blob | history