projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ad6a17) | patch
Add proof manager method to translate difficulty map (#7159)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 14 Sep 2021 19:58:01 +0000 (14:58 -0500)
committerGitHub <noreply@github.com>
Tue, 14 Sep 2021 19:58:01 +0000 (19:58 +0000)
commit1014428633ca233aa0c51818d995acaca6ebfda6
tree91264d548a5b678a07eeba0c197f3a1e5eb3d7f6tree
parent8ad6a175415d74d4a5bcf5d3e04816277a237ccccommit | diff
Add proof manager method to translate difficulty map (#7159)

This method will be called from SmtEngine in the implementation for (get-difficulty).
src/smt/proof_manager.cpp diff | blob | history
src/smt/proof_manager.h diff | blob | history