Z3 4.8.10-GCCcore-10.2.0
There is a newer install of Z3
Z3 is a theorem prover from Microsoft Research.Accessing Z3 4.8.10-GCCcore-10.2.0
To load the module for Z3 4.8.10-GCCcore-10.2.0 please use this command on Baskerville:
📋
module load bask-apps/test
module load Z3/4.8.10-GCCcore-10.2.0
Bask Apps Env
More Information
For more information visit the Z3 website.
Dependencies
This version of Z3 has a direct dependency on: GCCcore/10.2.0 GMP/6.2.0-GCCcore-10.2.0
Required By
This version of Z3 is a direct dependent of: Clang/11.0.1-gcccuda-2020b
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.10.2-GCCcore-11.3.0 | live |
Last modified on 31st August 2021