projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f040cb) | patch
Add SyGuS Python API (#4812)
authoryoni206 <yoni206@users.noreply.github.com>
Sat, 1 Aug 2020 06:50:40 +0000 (23:50 -0700)
committerGitHub <noreply@github.com>
Sat, 1 Aug 2020 06:50:40 +0000 (23:50 -0700)
commit0c78ef9adbddbc7ed875c3c3a41f60e48abdd17f
tree14bb779d85d59a8c49b8187b07840cdfcf94ea32tree
parent0f040cbc2b068d3f22f6d46ec35aff3ab720ec28commit | diff
Add SyGuS Python API (#4812)

This commit extends the Python API with support for SyGuS functionality.
This required the addition of a nullary constructor for `Grammar` in the C++ API.
A unit test is also included, and is a translation of the corresponding C++ API unit test.

Examples are not added yet, but are ready and planned for a next PR (in order to keep this one shorter).
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
src/api/python/cvc4.pxd diff | blob | history
src/api/python/cvc4.pxi diff | blob | history
test/unit/api/python/test_grammar.py [new file with mode: 0644] blob