Z3

Z3 is a theorem prover from Microsoft Research.

More Information

For more information visit the Z3 website.

Available Versions

These versions of Z3 are available on the BEAR systems (BlueBEAR and BEAR Cloud VMs). These will be retained in accordance with our Applications Support and Retention Policy.