an efficient SMT solver library
Project description
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, compilation, or installation, please submit issues to https://github.com/angr/angr-z3
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
z3-solver-4.8.6.0.tar.gz
(4.2 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.8.6.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f572125dedfe5a746823fd72eabb29889d3e751254f4ec31e54cba13bf63317c |
|
MD5 | b35b1f6b9a217c543543d6db0313353a |
|
BLAKE2b-256 | 18e153784adbeb6333b0e6ab96376e0acb27814c642d40c103ffae031b410205 |
Close
Hashes for z3_solver-4.8.6.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 54ee96f09d3c5fb0129f9ca105ff5500f32bbdfebf982e89dc24eb6f3a7d3c31 |
|
MD5 | a2826992c0e1e3efc502a2b8f0c485fd |
|
BLAKE2b-256 | 55685fccfcc2ef13197fc76e3eaf0cfe32c1d929e99affe72055b4fa84382408 |
Close
Hashes for z3_solver-4.8.6.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9c9db35c6975532413cc19164566bdc956128689cc2a19fdc8fd9a65abd71fa9 |
|
MD5 | 2b0d222f57218b39594e055f1f808d2f |
|
BLAKE2b-256 | def5b9e2662687808f4d2a881027e3c245f1730a76829894bd17a95564f56c1a |