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 Wed, 12 Mar 2025 at 15:45:25 CET)

	accelgor	doduo	donphan	gallade	joltik	litleo	shinx
Z3/4.13.0-GCCcore-13.2.0	x	x	x	x	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	-	-	-	-	-	x	x
Z3/4.10.2-GCCcore-11.3.0	-	-	-	-	-	x	x