Z3 4.10.2-GCCcore-11.3.0
Z3 is a theorem prover from Microsoft Research.Accessing Z3 4.10.2-GCCcore-11.3.0
To load the module for Z3 4.10.2-GCCcore-11.3.0 please use this command on Baskerville:
📋
module load bask-apps/live
module load Z3/4.10.2-GCCcore-11.3.0
Bask Apps Env
More Information
For more information visit the Z3 website.
Dependencies
This version of Z3 has a direct dependency on: GCCcore/11.3.0 GMP/6.2.1-GCCcore-11.3.0
Required By
This version of Z3 is a direct dependent of: Clang/13.0.1-GCCcore-11.3.0
Other 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.8.10-GCCcore-10.2.0 | test |
Last modified on 28th June 2023