projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0a389a) | patch
(proof-new) Theory engine proof generator (#4657)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 9 Jul 2020 05:41:47 +0000 (00:41 -0500)
committerGitHub <noreply@github.com>
Thu, 9 Jul 2020 05:41:47 +0000 (00:41 -0500)
commitc64575b7c65a9822955efbf7711736068394899a
treee7b2b8a1ac343e9c303a9176974e22e8889e96e0tree
parenta0a389a1f7c16b6a1fb56b3ce8ee519cf5717f04commit | diff
(proof-new) Theory engine proof generator (#4657)

This adds the proof generator used by TheoryEngine for generating proofs for explanations.
src/CMakeLists.txt diff | blob | history
src/theory/theory_engine_proof_generator.cpp [new file with mode: 0644] blob
src/theory/theory_engine_proof_generator.h [new file with mode: 0644] blob