projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94c5c54) | patch
[proofs] Simplifying and adding new utils to SAT proof manager and Proof Cnf Stream...
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Thu, 16 Dec 2021 20:04:31 +0000 (17:04 -0300)
committerGitHub <noreply@github.com>
Thu, 16 Dec 2021 20:04:31 +0000 (20:04 +0000)
commitb8a5b453e3a4f6d2ae15ac727358540b191c186e
tree476dbae24aebd3df630b8bea63000e26e4401d07tree
parent94c5c54989a7ddbff74c7d7e497e4725c2b36fa7commit | diff
[proofs] Simplifying and adding new utils to SAT proof manager and Proof Cnf Stream (#7826)

These will be necessary for upcoming changes to the SAT proof manager and Proof Cnf Stream to handle incremental proofs when optimizing the level of SAT clauses.
src/prop/proof_cnf_stream.cpp diff | blob | history
src/prop/proof_cnf_stream.h diff | blob | history
src/prop/sat_proof_manager.cpp diff | blob | history
src/prop/sat_proof_manager.h diff | blob | history