Aina Niemetz
0647c4c107
Update copyright headers. ( #11561 )
...
Co-authored-by: Daniel Larraz <daniel-larraz@users.noreply.github.com >
2025-01-23 17:54:20 +00:00
Aina Niemetz
1a3a935fb5
Python API: Refactor to expose TermManager. ( #10488 )
...
This refactors the base Python API to expose TermManager (related to
previous refactor of the C++ API to expose TermManager in #10426 ).
2024-03-14 14:34:58 -07:00
Aina Niemetz
fdf9ce7138
Update copyright headers. ( #10459 )
2024-03-12 09:35:09 -07:00
Aina Niemetz
0a8baa0f0a
Update copyright headers. ( #9736 )
2023-05-09 18:06:18 +00:00
Andrew Reynolds
42e503ba7d
More preparation for strict type rules ( #8733 )
...
This is work towards making equalities and substitutions between terms of equal types.
2022-05-07 02:22:12 +00:00
Mathias Preiner
d01e59c13b
Update copyright headers for release 1.0 ( #8539 )
2022-04-05 20:38:57 +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
Alex Ozdemir
6388657820
Change name of Python API's package from pycvc5 to cvc5. ( #7953 )
...
In the process, I changed a CMake target name from pycvc5 to
cvc5_base_py_api. I could not change the target to cvc5, because that
name is taken.
2022-02-02 23:45:42 +00:00
Gereon Kremer
881464ade1
Turn kinds in python API into a proper Enum ( #7686 )
...
This PR does multiple things:
- the kinds are changed from custom objects to a proper enum.Enum class
(including according changes to the cython code and the kind generation scripts)
- all examples and tests are modified to account for the change how to use kinds
(Kind instead of kinds)
- add docstrings to the kind enum values
- add a custom documenter that properly renders enums via autodoc
- extend doxygen setup so that we can write comments as rst (allowing us to copy
the documentation for kinds from the cpp api to the other apis)
2021-12-08 04:16:03 +00:00
yoni206
24663f1c4b
Translating API tests to Python — part 2 ( #7651 )
...
This PR translates the remaining cpp API tests to python.
2021-12-01 01:38:45 +00:00
