Z3
Z3 is a theorem prover from Microsoft Research with support for bitvectors,booleans, arrays, floating point numbers, strings, and other data types. Thismodule includes z3-solver, the Python interface of Z3.
https://github.com/Z3Prover/z3
Available modules
The overview below shows which Z3 installations are available per target architecture in the HPCC module system, 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.4-GCCcore-14.2.0
(This data was automatically generated on Thu, 22 Jan 2026 at 12:03:27 EST)
| gateway | generic | zen2 | zen3 | zen4 | skylake_avx512 | |
|---|---|---|---|---|---|---|
| Gateway nodes | everywhere (except Grace nodes) | amd20 | amd22 | amd24 | intel18,amd20-v100,amd21,intel21 | |
| Z3/4.13.4-GCCcore-14.2.0 | - | x | - | - | - | - |
| Z3/4.13.0-GCCcore-13.3.0 | - | x | - | - | - | - |
| Z3/4.12.2-GCCcore-12.3.0 | - | x | - | - | - | - |
Z3/4.13.4-GCCcore-14.2.0
This is a list of extensions included in the module:
z3_solver-4.13.4.0
Z3/4.13.0-GCCcore-13.3.0
This is a list of extensions included in the module:
z3-solver-4.13.0.0
Z3/4.12.2-GCCcore-12.3.0
This is a list of extensions included in the module:
z3-solver-4.12.2.0