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 EESSI, ordered based on software version (new to old).
To start using Z3, load one of these modules using a module load command like:
(This data was automatically generated on Fri, 06 Feb 2026 at 13:12:13 UTC)
| aarch64/generic | aarch64/a64fx | aarch64/neoverse_n1 | aarch64/neoverse_v1 | aarch64/nvidia/grace | x86_64/generic | x86_64/amd/zen2 | x86_64/amd/zen3 | x86_64/amd/zen4 | x86_64/intel/cascadelake | x86_64/intel/haswell | x86_64/intel/icelake | x86_64/intel/sapphirerapids | x86_64/intel/skylake_avx512 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3 | x | x | x | x | x | x | x | x | x | x | x | x | x | x |
| Z3/4.12.2-GCCcore-12.3.0 | x | x | x | x | x | x | x | x | x | x | x | x | x | x |
| Z3/4.12.2-GCCcore-12.2.0 | x | x | x | x | x | x | x | x | x | x | x | x | x | x |
Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3¶
This is a list of extensions included in the module:
z3-solver-4.12.2.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