Z3
An Efficient Theorem Prover

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

The Z3 website moved to http://github.com/z3prover..

The old Z3 websites can be found here and here.

This website hosts the automatically generated documentation for the Z3 APIs.