Metadata-Version: 2.4
Name: z3-solver
Version: 4.16.0
Summary: Python bindings for the Z3 theorem prover
License: MIT
Dynamic: license
Dynamic: summary
