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.15.1.0
Availability
Module |
Generic |
E5 |
Lake |
Epyc |
Cascade |
Genoa |
|---|---|---|---|---|---|---|
✓ |
✓ |
✓ |
||||
✓ |