...
Version | Module | Available on |
|---|---|---|
4.813.90-GCCcore-913.32.0 | tools/Z3/4.813.90-GCCcore-913.32.0 | Noctua 2 |
4.810.92-GCCcore-811.3.0 | tools/Z3/4.810.92-GCCcore-811.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.138.09-GCCcore-139.23.0 | tools/Z3/4.138.09-GCCcore-139.23.0 | Noctua 2 |
4.108.29-GCCcore-118.3.0 | tools/Z3/4.108.29-GCCcore-118.3.0 | Noctua 1, Noctua 2 |
This table is generated automatically. If you need other versions please click pc2-support@uni-paderborn.de.
...