6 Commits

Author	SHA1	Message	Date
Aina Niemetz	91201c459e	Fix docs in preparation for upcoming release. (#11983)	2025-06-17 13:22:02 +00:00
Aina Niemetz	dab8236589	docs: python: Add missing docs text for pages. (#11057)	2024-08-05 18:47:34 +00:00
Aina Niemetz	cb103e26c3	docs: python base: Add docs for TermManager and SortKind. (#11056)	2024-07-16 22:39:37 +00:00
Mathias Preiner	f66e2adea0	docs: Remove api namespace. (#8455)	2022-03-31 02:30:21 +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
Alex Ozdemir	082ffeaffc	Rename python APIs (#7950) ... Rename python APIs to "base" and "pythonic"	2022-01-14 21:45:19 +00:00