# 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|
|------|------|------|------|------|------|------|
|<a href="z3.html">Z3/4.13.0-GCCcore-13.3.0</a>|| ✓ | ✓ || ✓ ||
|<a href="z3.html">Z3/4.15.1-GCCcore-14.3.0</a>|| ✓ |||||