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

test

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