yoni206 a9b0e87897 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.

2020-08-03 14:02:35 -07:00

..

bitvectors_and_arrays.py

Add Python bindings using Cython -- see below for more details (#2879)

2020-02-19 15:54:17 -06:00

bitvectors.py

Wrap Result in Python API (#4473)

2020-06-04 15:18:35 -07:00

CMakeLists.txt

Python API: Add support for sequences (#4757)

2020-07-30 16:56:33 -07:00

combination.py

Change option names --default-dag-thresh and --default-expr-depth (#4309)

2020-04-15 08:37:46 -05:00

datatypes.py

New C++ Api: First batch of API guards. (#4557)

2020-06-03 20:56:24 -07:00

exceptions.py

Language bindings: Enable catching of exceptions (#2813)

2020-06-09 07:44:24 -05:00

extract.py

Rename checkValid/query to checkEntailed. (#4191)

2020-03-31 18:12:16 -07:00

floating_point.py

Wrap Result in Python API (#4473)

2020-06-04 15:18:35 -07:00

helloworld.py

Rename checkValid/query to checkEntailed. (#4191)

2020-03-31 18:12:16 -07:00

linear_arith.py

Rename checkValid/query to checkEntailed. (#4191)

2020-03-31 18:12:16 -07:00

sequences.py

Python API: Add support for sequences (#4757)

2020-07-30 16:56:33 -07:00

sets.py

Rename checkValid/query to checkEntailed. (#4191)

2020-03-31 18:12:16 -07:00

strings.py

Python API: Add support for sequences (#4757)

2020-07-30 16:56:33 -07:00

sygus-fun.py

Examples for using sygus python api (#4822)

2020-08-03 14:02:35 -07:00

sygus-grammar.py

Examples for using sygus python api (#4822)

2020-08-03 14:02:35 -07:00

sygus-inv.py

Examples for using sygus python api (#4822)

2020-08-03 14:02:35 -07:00