diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-30 16:56:33 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-30 16:56:33 -0700 |
commit | 2ff7f9a5cde5faeb246b6c68de085ef008c107d2 (patch) | |
tree | 9e1f1c4d49c8465584469e15c24fbadb373887db /examples/api/CMakeLists.txt | |
parent | 3e18cd977b6e8d9729a4aa0f4cfc12710d21c863 (diff) |
Python API: Add support for sequences (#4757)
Commit 9678f58a7fedab4fc061761c58382f4023686108 added front end support
for sequences. This commit extends that support to the Python API. It
also adds simple C++ and Python examples that demonstrate how the API
works for sequences.
Diffstat (limited to 'examples/api/CMakeLists.txt')
-rw-r--r-- | examples/api/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/api/CMakeLists.txt b/examples/api/CMakeLists.txt index 6421a3263..bd6361b5c 100644 --- a/examples/api/CMakeLists.txt +++ b/examples/api/CMakeLists.txt @@ -7,6 +7,7 @@ set(CVC4_EXAMPLES_API helloworld linear_arith sets + sequences strings sygus-fun sygus-grammar |