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