projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a56238) | patch
first draft implementation of uf proofs with holes
authorLiana Hadarean <lianahady@gmail.com>
Tue, 8 Oct 2013 02:49:45 +0000 (22:49 -0400)
committerLiana Hadarean <lianahady@gmail.com>
Tue, 8 Oct 2013 02:54:01 +0000 (22:54 -0400)
commit867e79e0823c689889224078dfaebec03aee9730
treeb4c8281beda8f5263e32145e22dc58c7b1b8209atree
parent1a56238b7ed75c6127293cb7c52d5b6b85245c64commit | diff
first draft implementation of uf proofs with holes
src/proof/Makefile.am diff | blob | history
src/proof/cnf_proof.cpp diff | blob | history
src/proof/cnf_proof.h diff | blob | history
src/proof/proof_manager.cpp diff | blob | history
src/proof/proof_manager.h diff | blob | history
src/proof/sat_proof.cpp diff | blob | history
src/proof/sat_proof.h diff | blob | history
src/proof/theory_proof.cpp [new file with mode: 0644] blob
src/proof/theory_proof.h [new file with mode: 0644] blob
src/prop/cnf_stream.cpp diff | blob | history
src/prop/minisat/core/Solver.cc diff | blob | history