Gereon Kremer 21b15a0464 Add documentation for z3py compatibility API (#7652) ...

This PR includes documentation for the z3py compatibility API into our general API.
It does so by adding the z3py compatibility API as an external project to download it and then have sphinx document it via the autodoc extension that we already use for our regular python API.
Right now we simply show everything on one page, which should be refactored in the future.

2021-11-17 19:40:49 +00:00

..

regular

Add documentation for z3py compatibility API (#7652)

2021-11-17 19:40:49 +00:00

z3compat

Add documentation for z3py compatibility API (#7652)

2021-11-17 19:40:49 +00:00

CMakeLists.txt

Add documentation for z3py compatibility API (#7652)

2021-11-17 19:40:49 +00:00

python.rst

Add documentation for z3py compatibility API (#7652)

2021-11-17 19:40:49 +00:00