Aina Niemetz
9c176f263b
docs: Do not use explicit line numbers in literalinclude. ( #8690 )
2022-05-02 20:13:00 +00:00
Gereon Kremer
f65550a404
Follow renaming within pythonic API ( #8532 )
...
We are renaming files in the pythonic API to make it look less like it is somehow part of z3 (but still acknowledge that we took code from z3Py properly). This PR follows the change in cvc5/cvc5_pythonic_api#80 .
2022-04-02 18:31:32 +00:00
Aina Niemetz
506a7b8c4a
Python API: Do not rename enumerators. ( #8507 )
...
Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com >
Co-authored-by: mudathirmahgoub <mudathirmahgoub@gmail.com >
Co-authored-by: Gereon Kremer <gkremer@stanford.edu >
2022-04-01 19:45:36 +00:00
Gereon Kremer
3f4895d558
Some random documentation issues ( #7921 )
...
This PR fixes a few issues in the documentation, mostly about examples that were not included where they should be.
2022-01-18 20:32:17 +00:00
Alex Ozdemir
082ffeaffc
Rename python APIs ( #7950 )
...
Rename python APIs to "base" and "pythonic"
2022-01-14 21:45:19 +00:00
