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

988 B

Raw Permalink Blame History

View Raw