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)