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.
-
API documentation (also available in pydoc format)
-
Sudoku solver using Z3.ipynb gives a more comprehensive explanation on a sudoku solver.
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.