projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6a730c) | patch
Examples for using sygus python api (#4822)
authoryoni206 <yoni206@users.noreply.github.com>
Mon, 3 Aug 2020 21:02:35 +0000 (14:02 -0700)
committerGitHub <noreply@github.com>
Mon, 3 Aug 2020 21:02:35 +0000 (14:02 -0700)
commita9b0e87897b95871916368d0dae780f53efcadd8
tree9423efdf6dab1253f54b19e1810f2d06ba96a7f1tree
parentf6a730cc5392a162428daaebc199ab884bf123d4commit | diff
Examples for using sygus python api (#4822)

This PR adds examples for using the sygus python api.
The examples are obtained from the examples of the cpp sygus api.
examples/api/python/sygus-fun.py [new file with mode: 0644] blob
examples/api/python/sygus-grammar.py [new file with mode: 0644] blob
examples/api/python/sygus-inv.py [new file with mode: 0644] blob