Metadata-Version: 2.0
Name: z3-solver
Version: 4.5.1.0
Summary: an efficient SMT solver library
Home-page: https://github.com/Z3Prover/z3
Author: Andrew Dutcher
Author-email: andrew@andrewdutcher.com
License: MIT License
Keywords: z3,smt,sat,prover,theorem
Platform: UNKNOWN

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

In the event of technical difficulties related to configuration, compiliation, or installation, please submit issues to https://github.com/angr/angr-z3

