Most people looking for Microsoft vcc prover theorem downloaded:
Z3 is a high-performance theorem prover being developed at Microsoft Research.
