Skip to content

Z3#

Available modules#

The overview below shows which Z3 installations are available per HPC-UGent Tier-2 cluster, ordered based on software version (new to old).

To start using Z3, load one of these modules using a module load command like:

module load Z3/4.13.0-GCCcore-13.2.0

(This data was automatically generated on Sat, 07 Dec 2024 at 15:44:42 CET)

accelgor doduo donphan gallade joltik shinx skitty
Z3/4.13.0-GCCcore-13.2.0 x x x x - x x
Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3 - x x x - - -
Z3/4.12.2-GCCcore-12.3.0 x x x x x x x
Z3/4.12.2-GCCcore-12.2.0-Python-3.10.8 - x x x - - -
Z3/4.12.2-GCCcore-12.2.0 - x x x - x -
Z3/4.10.2-GCCcore-11.3.0-Python-3.10.4 - - x - - - -
Z3/4.10.2-GCCcore-11.3.0 - x x x - x -
Z3/4.8.12-GCCcore-11.2.0 - x x x - - -
Z3/4.8.11-GCCcore-10.3.0 - x x x - - -
Z3/4.8.10-GCCcore-10.2.0 - x x x - - -
Z3/4.8.9-GCCcore-9.3.0 - - x - - - -