Z3 4.10.2-GCCcore-11.3.0

There is a newer install of Z3

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

live

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.

Last modified on 28th June 2023