Attention

The Bessemer HPC service was decommissioned on 2025-10-31 and can no longer be accessed by users. Removal of Bessemer references in our documentation is ongoing

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.

Direct dependencies for latest version of Z3