projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8b52b5) | patch
[Python API] Add support for blocking models (#8134)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 25 Feb 2022 00:32:18 +0000 (16:32 -0800)
committerGitHub <noreply@github.com>
Fri, 25 Feb 2022 00:32:18 +0000 (00:32 +0000)
commite06dd209a23e4667b5e5202d48d7706f0942bca4
tree2d4ff869957666f28b61a6b98746274c5c326df3tree
parentb8b52b5cfa2fbfcb6d3450b9e03b2fa680af605dcommit | diff
[Python API] Add support for blocking models (#8134)

The methods for blocking models were missing in the Python API. This
commit adds the blockModel() and blockModelValues() methods as well
as the corresponding tests.
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