projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92844d7) | patch
Add information for cardinality constraint to the Python API (#8444)
authoryoni206 <yoni206@users.noreply.github.com>
Wed, 30 Mar 2022 06:55:56 +0000 (09:55 +0300)
committerGitHub <noreply@github.com>
Wed, 30 Mar 2022 06:55:56 +0000 (06:55 +0000)
commit6e0326d6f2d450329591b551d10742a5ebcb6fe5
treed605f76783f79ffe78c476364374a53d708fc3c0tree
parent92844d783c7ea7caef74862e751a9e326f8dee6bcommit | diff
Add information for cardinality constraint to the Python API (#8444)

This PR complements #8422 by adding a tester and a getter for cardinality constraints to the python API. The corresponding test from solver_black is translated and included.
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/python/test_term.py diff | blob | history