projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4eac250) | patch
Adding some missing python API methods and tests (#8441)
authoryoni206 <yoni206@users.noreply.github.com>
Wed, 30 Mar 2022 06:05:49 +0000 (09:05 +0300)
committerGitHub <noreply@github.com>
Wed, 30 Mar 2022 06:05:49 +0000 (06:05 +0000)
commit92844d783c7ea7caef74862e751a9e326f8dee6b
treed6534124f3c4b6dad71e7baf80c11f3074ce4cd6tree
parent4eac250cf24968bdf04ed04ec92db1506526b380commit | diff
Adding some missing python API methods and tests (#8441)

This PR adds methods to the python API, as well as tests for the new methods and other tests for existing methods, translated from solver_black.cpp.
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