Z3
- Robert Schade
- Axel Keller
Description
Z3 is a theorem prover from Microsoft Research.
More information
- Homepage: https://github.com/Z3Prover/z3
Available Versions of Z3
Version | Module | Available on |
|---|---|---|
4.13.0-GCCcore-13.3.0 | tools/Z3/4.13.0-GCCcore-13.3.0 | Noctua 2 |
4.13.0-GCCcore-13.2.0 | tools/Z3/4.13.0-GCCcore-13.2.0 | Noctua 2 |
4.10.2-GCCcore-11.3.0 | tools/Z3/4.10.2-GCCcore-11.3.0 | Noctua 1, Noctua 2 |
4.8.12-GCCcore-11.2.0 | tools/Z3/4.8.12-GCCcore-11.2.0 | Noctua 2 |
4.8.11-GCCcore-10.3.0 | tools/Z3/4.8.11-GCCcore-10.3.0 | Noctua 2 |
4.8.10-GCCcore-10.2.0 | tools/Z3/4.8.10-GCCcore-10.2.0 | Noctua 2 |
4.8.9-GCCcore-9.3.0 | tools/Z3/4.8.9-GCCcore-9.3.0 | Noctua 2 |
4.8.9-GCCcore-8.3.0 | tools/Z3/4.8.9-GCCcore-8.3.0 | Noctua 1, Noctua 2 |
This table is generated automatically. If you need other versions please click pc2-support@uni-paderborn.de.
Usage Hints for Z3
If you need support in using this software or example job scipts please contact pc2-support@uni-paderborn.de.