Z3py tutorial
This project archives files in the official Z3py website, which was shut down due to security issues. The official Z3 website however is still online and active.
- Introduction
- Strategies
- Fixed-point computation
- Advanced topics
- API documentation (also available in pydoc format)
The source code of Z3Py is available in the Z3 distribution, where you can also find APIs in C, .NET, OCaml, and Java. Other cool front-ends for Z3 includes ScalaZ3 and SBV.