Z3 4.12.2-GCCcore-12.3.0
Z3 is a theorem prover from Microsoft Research.Accessing Z3 4.12.2-GCCcore-12.3.0
To load the module for Z3 4.12.2-GCCcore-12.3.0 please use this command on Baskerville:
📋
module load bask-apps/live
module load Z3/4.12.2-GCCcore-12.3.0
Bask Apps Env
Extensions
- z3-solver-4.12.2.0
More Information
For more information visit the Z3 website.
Dependencies
This version of Z3 has a direct dependency on: GCCcore/12.3.0 GMP/6.2.1-GCCcore-12.3.0 Python/3.11.3-GCCcore-12.3.0
Required By
This version of Z3 is a direct dependent of: PyTorch/2.1.2-foss-2023a-CUDA-12.1.1
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 |
| 4.8.10-GCCcore-10.2.0 | test |
Last modified on 27th September 2024