projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c78442) | patch
examples: Update python api datatypes example. (#7692)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 24 Nov 2021 22:17:43 +0000 (14:17 -0800)
committerGitHub <noreply@github.com>
Wed, 24 Nov 2021 22:17:43 +0000 (22:17 +0000)
commit923c9a6b864922dda739f46981664ec0611bec8d
tree8b3d1456e704ab89d97620b402d82135e6f03847tree
parent7c784424b5ca43d5c35c8ac21b87c2b8ab584b2dcommit | diff
examples: Update python api datatypes example. (#7692)

The C++ datatypes example was extended in #7689. This updates the Python
API datatypes example accordingly.
examples/api/python/datatypes.py diff | blob | history