projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 632bce5) | patch
[API/Python] Add support for `Solver::getProof()` (#8259)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 8 Mar 2022 22:02:50 +0000 (14:02 -0800)
committerGitHub <noreply@github.com>
Tue, 8 Mar 2022 22:02:50 +0000 (22:02 +0000)
commit72e997f13bc2e89d1c9b1c6b59d4e57a0cfcc0d1
treee878457aad320ade1af4c1f1b0077b37678e074btree
parent632bce5fe6c1bba0288d4e7c1e19946f0fce052bcommit | diff
[API/Python] Add support for `Solver::getProof()` (#8259)

This commit implements support for Solver::getProof() in the Python
API, which was missing before.
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/python/test_solver.py diff | blob | history