projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a1fea0) | patch
[API/Python] Add support for `Solver::getModel()` (#8267)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 11 Mar 2022 23:46:38 +0000 (15:46 -0800)
committerGitHub <noreply@github.com>
Fri, 11 Mar 2022 23:46:38 +0000 (23:46 +0000)
commit4106b9314285c4f8641af414566e9382e2e1bfec
tree33ee0adc8a61daf54b11f11fd947183188df5dd6tree
parent4a1fea076666a8e8c98085da48a849f3f6c0f64fcommit | diff
[API/Python] Add support for `Solver::getModel()` (#8267)

This commit implements support for Solver::getModel() 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