Z3

Z3 is a theorem prover from Microsoft Research.

Note

This is an autogenerated page, more detail including examples may be available for this package. Please see the first section of Software on Stanage

After connecting to Stanage (see Establishing a SSH connection), start an interactive session with the following command:

srun --pty bash -i

A version of Z3 can then be made available with one of the following:

module load Z3/4.8.10-GCCcore-10.2.0

Notes

Z3 was installed using Easybuild, build details can be found in $EBROOTZ3/easybuild with a given module loaded.

Dependencies for latest version of Z3