4 Commits

Author	SHA1	Message	Date
Mathias Preiner	d01e59c13b	Update copyright headers for release 1.0 (#8539)	2022-04-05 20:38:57 +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
Alex Ozdemir	bcd2e8e2fd	Add getId function to python API (#6523) ... (Z3 exposes it to facilitate custom hashes)	2021-05-14 11:34:38 +00:00