Metadata-Version: 2.2
Name: z3-solver
Version: 4.14.0.0
Summary: an efficient SMT solver library
Home-page: https://github.com/Z3Prover/z3
Author: The Z3 Theorem Prover Project
Maintainer: Audrey Dutcher and Nikolaj Bjorner
Maintainer-email: audrey@rhelmot.io
License: MIT License
Keywords: z3,smt,sat,prover,theorem
Requires-Dist: importlib-resources; python_version < "3.9"
Dynamic: author
Dynamic: description
Dynamic: home-page
Dynamic: keywords
Dynamic: license
Dynamic: maintainer
Dynamic: maintainer-email
Dynamic: requires-dist
Dynamic: summary

Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types.

For documentation, please read http://z3prover.github.io/api/html/z3.html
