projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0169b2) | patch
Wrap Result in Python API (#4473)
authormakaimann <makaim@stanford.edu>
Thu, 4 Jun 2020 22:18:35 +0000 (15:18 -0700)
committerGitHub <noreply@github.com>
Thu, 4 Jun 2020 22:18:35 +0000 (15:18 -0700)
commit6c608754e8058098e410e208d0b6cc0f586b79ca
tree6e1f58c09e6dd08eab04ec43acebd796d7cf8c99tree
parentf0169b253759632aee0d21db916fe68702c66116commit | diff
Wrap Result in Python API (#4473)

This PR would change the Python API to wrap the C++ Result class instead of translating it to a pure Python class. This is more convenient because there are several possibilities other than sat/unsat/unknown. Furthermore, this PR updates the bitvectors.py example which had an incorrect function name "checkEntailment" and adds a floating point example contributed by Eva Darulova.
examples/api/python/bitvectors.py diff | blob | history
examples/api/python/floating_point.py [new file with mode: 0755] blob
src/api/python/cvc4.pxd diff | blob | history
src/api/python/cvc4.pxi diff | blob | history