projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e18cd9) | patch
Python API: Add support for sequences (#4757)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 30 Jul 2020 23:56:33 +0000 (16:56 -0700)
committerGitHub <noreply@github.com>
Thu, 30 Jul 2020 23:56:33 +0000 (16:56 -0700)
commit2ff7f9a5cde5faeb246b6c68de085ef008c107d2
tree9e1f1c4d49c8465584469e15c24fbadb373887dbtree
parent3e18cd977b6e8d9729a4aa0f4cfc12710d21c863commit | 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.
examples/api/CMakeLists.txt diff | blob | history
examples/api/python/CMakeLists.txt diff | blob | history
examples/api/python/sequences.py [new file with mode: 0644] blob
examples/api/python/strings.py diff | blob | history
examples/api/sequences.cpp [new file with mode: 0644] blob
examples/api/strings.cpp diff | blob | history
src/api/python/cvc4.pxd diff | blob | history
src/api/python/cvc4.pxi diff | blob | history
src/prop/prop_engine.cpp diff | blob | history
test/unit/api/python/test_sort.py diff | blob | history
test/unit/api/python/test_term.py diff | blob | history