Attention

Following the recent operating system upgrade, software listings and module load commands now reflect the upgraded system. Some examples and notices are still being updated and may contain outdated guidance.

Z3

Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types. This module includes z3-solver, the Python interface of Z3.

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.15.1-GCCcore-14.3.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