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 Baskerville. These will be retained in accordance with our Applications Support and Retention Policy.
| Version | Bask Apps Env |
|---|---|
| 4.12.2-GCCcore-12.3.0 | live |
| 4.10.2-GCCcore-11.3.0 | live |
| 4.8.10-GCCcore-10.2.0 | test |