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 | - | - | - | - |