Z3
Compiler/GCCcore/12.3.0
4.12.2
Description
===========
Z3 is a theorem prover from Microsoft Research.
More information
================
- Homepage: https://github.com/Z3Prover/z3
- Dependencies:
- GMP/6.2.1
| EBROOTZ3 | /p/software/deep/stages/2024/software/Z3/4.12.2-GCCcore-12.3.0 |
| EBVERSIONZ3 | 4.12.2 |
| EBDEVELZ3 | /p/software/deep/stages/2024/software/Z3/4.12.2-GCCcore-12.3.0/easybuild/Compiler-GCCcore-12.3.0-Z3-4.12.2-easybuild-devel |
| +CMAKE_PREFIX_PATH | /p/software/deep/stages/2024/software/Z3/4.12.2-GCCcore-12.3.0 |
| +CPATH | /p/software/deep/stages/2024/software/Z3/4.12.2-GCCcore-12.3.0/include |
| +LD_LIBRARY_PATH | /p/software/deep/stages/2024/software/Z3/4.12.2-GCCcore-12.3.0/lib |
| +LIBRARY_PATH | /p/software/deep/stages/2024/software/Z3/4.12.2-GCCcore-12.3.0/lib |
| +PATH | /p/software/deep/stages/2024/software/Z3/4.12.2-GCCcore-12.3.0/bin |
| +PKG_CONFIG_PATH | /p/software/deep/stages/2024/software/Z3/4.12.2-GCCcore-12.3.0/lib/pkgconfig |