Z3
Compiler/GCCcore/14.3.0
4.15.1
Description
===========
Z3 is a theorem prover from Microsoft Research with support for bitvectors,
booleans, arrays, floating point numbers, strings, and other data types. This
module includes z3-solver, the Python interface of Z3.
More information
================
- Homepage: https://github.com/Z3Prover/z3
- Site contact: Support <sc@fz-juelich.de>
Included extensions
===================
z3_solver-4.15.1.0
| EBROOTZ3 | /p/software/fs/deep/stages/2026/software/Z3/4.15.1-GCCcore-14.3.0 |
| EBVERSIONZ3 | 4.15.1 |
| EBDEVELZ3 | /p/software/fs/deep/stages/2026/software/Z3/4.15.1-GCCcore-14.3.0/easybuild", "Compiler-GCCcore-14.3.0-Z3-4.15.1-easybuild-devel |
| EBEXTSLISTZ3 | z3_solver-4.15.1.0 |
| +CMAKE_PREFIX_PATH | /p/software/fs/deep/stages/2026/software/Z3/4.15.1-GCCcore-14.3.0 |
| +CPATH | /p/software/fs/deep/stages/2026/software/Z3/4.15.1-GCCcore-14.3.0/lib", "python3.13", "site-packages", "z3", "include |
| +LD_LIBRARY_PATH | /p/software/fs/deep/stages/2026/software/Z3/4.15.1-GCCcore-14.3.0/lib |
| +LIBRARY_PATH | /p/software/fs/deep/stages/2026/software/Z3/4.15.1-GCCcore-14.3.0/lib |
| +PATH | /p/software/fs/deep/stages/2026/software/Z3/4.15.1-GCCcore-14.3.0/bin |
| +PYTHONPATH | /p/software/fs/deep/stages/2026/software/Z3/4.15.1-GCCcore-14.3.0/lib", "python3.13", "site-packages |