Name		Name	Last commit message	Last commit date
Latest commit History 263 Commits
.github/workflows		.github/workflows
.vscode		.vscode
arithmetic		arithmetic
examples		examples
internals		internals
navigate		navigate
programmingz3		programmingz3
riselive		riselive
sls/data		sls/data
src		src
synthesiz3		synthesiz3
.gitignore		.gitignore
HowToUseCode.ipynb		HowToUseCode.ipynb
LICENSE		LICENSE
README.md		README.md
package.json		package.json

Repository files navigation

Z3 Documentation

Z3 is a high-performance theorem prover being developed at Microsoft Research.

Z3 API Support

C++ API
.NET API
Java API
Python API (also available in pydoc format)