projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6a9ab9) | patch
Add Python bindings using Cython -- see below for more details (#2879)
authormakaimann <makaim@stanford.edu>
Wed, 19 Feb 2020 21:54:17 +0000 (13:54 -0800)
committerGitHub <noreply@github.com>
Wed, 19 Feb 2020 21:54:17 +0000 (15:54 -0600)
commitc82720479efcf922136f0919f6fc26a502b2515a
treef9007e124cfc07490e914ae1e1e05747e1e1ee11tree
parentc6a9ab9da205df7cbf192edc142ee151404dcb1bcommit | diff
Add Python bindings using Cython -- see below for more details (#2879)
25 files changed:
.travis.yml diff | blob | history
CMakeLists.txt diff | blob | history
cmake/FindCython.cmake [new file with mode: 0644] blob
cmake/FindPythonExtensions.cmake [new file with mode: 0644] blob
cmake/UseCython.cmake [new file with mode: 0644] blob
cmake/targetLinkLibrariesWithDynamicLookup.cmake [new file with mode: 0644] blob
configure.sh diff | blob | history
examples/api/python/bitvectors.py [new file with mode: 0755] blob
examples/api/python/bitvectors_and_arrays.py [new file with mode: 0755] blob
examples/api/python/combination.py [new file with mode: 0755] blob
examples/api/python/datatypes.py [new file with mode: 0755] blob
examples/api/python/extract.py [new file with mode: 0755] blob
examples/api/python/helloworld.py [new file with mode: 0755] blob
examples/api/python/linear_arith.py [new file with mode: 0755] blob
examples/api/python/sets.py [new file with mode: 0755] blob
examples/api/python/strings.py [new file with mode: 0755] blob
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
src/api/python/CMakeLists.txt [new file with mode: 0644] blob
src/api/python/cvc4.pxd [new file with mode: 0644] blob
src/api/python/cvc4.pxi [new file with mode: 0644] blob
src/api/python/genkinds.py [new file with mode: 0755] blob
src/api/python/pycvc4.pyx [new file with mode: 0644] blob
src/bindings/CMakeLists.txt diff | blob | history
test/CMakeLists.txt diff | blob | history