z3-src 503.2.2

Source distribution of the Z3 SMT solver, for use as a build dependency
Documentation 
1
2
3
4
5
6
7

steps:
- script: |
   cd doc
   sudo apt-get install doxygen
   sudo apt-get install graphviz
   python mk_api_doc.py --z3py-package-path=../build/python/z3
   cd ..