ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
10,002 Commits 59 Branches 0 Tags
774770af22c882ade8f44aedbeed027cdf3d9496
Commit Graph

3 Commits

Author SHA1 Message Date
Gereon Kremer
38e4cf3fe6 Add kinds to python docs (#7672) 
This PR adds the kinds to the documentation for the regular python docs.
 2021-11-23 20:59:26 +00:00
yoni206
feae0b3040 Python API documentation: terms (#7659) 
This PR adds documentation for the Terms class in the python API.
Co-authored-by: Gereon Kremer gereon.kremer@cs.rwth-aachen.de
 2021-11-23 17:34:14 +00:00
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