Z3

Description

Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types. This module includes z3-solver, the Python interface of Z3.

More information

• Homepage: https://github.com/Z3Prover/z3

Included extensions

z3-solver-4.12.2.0

Availability

Module	Manneback	Lemaitre4
Z3/4.12.2-GCCcore-12.3.0	√
Z3/4.13.0-GCCcore-13.2.0	√
Z3/4.8.12-GCCcore-11.2.0	√