Z3 

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

Version

Module

Available on

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

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.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

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.