Z3¶
Description¶
Z3 is a theorem prover from Microsoft Research.
More information¶
- Homepage: https://github.com/Z3Prover/z3
Availability¶
| Module | NIC5 | Hercules2 | Dragon2 | Lemaitre3 | Dragon1 |
|---|---|---|---|---|---|
| Z3/4.10.2-GCCcore-11.3.0 | ✓ | ||||
| Z3/4.12.2-GCCcore-12.2.0 | ✓ | ||||
| Z3/4.12.2-GCCcore-12.2.0-Python-3.10.8 | ✓ | ||||
| Z3/4.13.0-GCCcore-13.2.0 | ✓ | ||||
| Z3/4.8.10-GCCcore-10.2.0 | ✓ | ||||
| Z3/4.8.11-GCCcore-10.3.0 | ✓ | ||||
| Z3/4.8.12-GCCcore-11.2.0 | ✓ | ✓ |