summaryrefslogtreecommitdiff
path: root/src/api/python/cvc4.pxd
AgeCommit message (Expand)Author
2020-09-01[API] Fix Python Examples (#4943)Andres Noetzli
2020-07-31Add SyGuS Python API (#4812)yoni206
2020-07-30Python API: Add support for sequences (#4757)Andres Noetzli
2020-06-29Python Sort tests (#4639)makaimann
2020-06-27Add API for retrieving separation heap/nil term (#4663)Andres Noetzli
2020-06-10Fix getKind for Python bindings (#4496)makaimann
2020-06-06Keep definitions when global-declarations enabled (#4572)Andres Noetzli
2020-06-04Add a method for retrieving base of a constant array through API (#4494)makaimann
2020-06-04Wrap Result in Python API (#4473)makaimann
2020-06-03New C++ Api: First batch of API guards. (#4557)Aina Niemetz
2020-06-02Add Term::substitute to Python bindings (#4499)makaimann
2020-06-02Add hash Op, Sort and Term in Python bindings (#4498)makaimann
2020-03-31Rename checkValid/query to checkEntailed. (#4191)Aina Niemetz
2020-03-11Simplifications to the Datatypes API (#4040)Andrew Reynolds
2020-02-19Add Python bindings using Cython -- see below for more details (#2879)makaimann
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback