4 Commits

Author	SHA1	Message	Date
Alex Ozdemir	1ae29f4353	Bump Pythonic (transcendentals) & exception example (#8553) ... - Bump version of Pythonic API to include transcendentals. - Document Pythonic API's transcendentals. - Add exception Pythonic API example.	2022-04-04 20:11:30 +00:00
Gereon Kremer	ea5e75d04a	Integrate pythonic api (#8131) ... We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.	2022-03-03 02:16:09 +00:00
Gereon Kremer	8002adccc9	Use Add instead of Plus (#8043) ... This fixes the current documentation builds for the pythonic API	2022-02-04 01:19:08 +00:00
Alex Ozdemir	082ffeaffc	Rename python APIs (#7950) ... Rename python APIs to "base" and "pythonic"	2022-01-14 21:45:19 +00:00