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.