Z3

Available modules

The overview below shows which Z3 installations are available per HPC-UGent Tier-2cluster, 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.12.2-GCCcore-12.3.0-Python-3.11.3

(This data was automatically generated on Wed, 06 Mar 2024 at 15:51:26 CET)

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