Metadata-Version: 2.1
Name: z3-solver
Version: 5.1.0
Summary: Python bindings for the Z3 theorem prover
License: MIT

