ada/cvc5

Fork 0

mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00

Commit Graph

Author	SHA1	Message	Date
Alex Ozdemir	13adc386d0	pythonic docs: is_tautology (#10687 )	2024-04-25 18:49:41 +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
Alex Ozdemir	082ffeaffc	Rename python APIs (#7950 ) Rename python APIs to "base" and "pythonic"	2022-01-14 21:45:19 +00:00

Author

SHA1

Message

Date

Alex Ozdemir

13adc386d0

pythonic docs: is_tautology (#10687 )

2024-04-25 18:49:41 +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

Alex Ozdemir

082ffeaffc

Rename python APIs (#7950 )

Rename python APIs to "base" and "pythonic"

2022-01-14 21:45:19 +00:00

3 Commits