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.9.0.tar.gz
(4.5 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.8.9.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 33d6793784b0386b3e42547d66dc89d8e959201e4b7eec8d286871575a1b4224 |
|
MD5 | 0d71b3c23044cb315b5bafc67713a618 |
|
BLAKE2b-256 | 103a7a39c4938ecd87395558fd4e059315c1df3ee20992689bbb2ae4ae53bb1e |
Close
Hashes for z3_solver-4.8.9.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9a20e7bafb82b40b87128086d29b54eef6634657df0adb96b79811225e1eab84 |
|
MD5 | cc3be4f3c8d1ca8595e1a0e83e9d1ba0 |
|
BLAKE2b-256 | 8da3f5f5b74120eccce6d0dc80c20f727af35b929df7ca41a0a67b4268a87dd5 |
Close
Hashes for z3_solver-4.8.9.0-py2.py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0ec84c898b240810f927a28bfdd350ff3c485b498c6ec4a0d62911f3d51cfacb |
|
MD5 | e018c8efe9f8d94811bf8fd5dc6cb29a |
|
BLAKE2b-256 | 6d5186d4d708593b77dd43e1154f25b107d9d9a3300da49759c88254192a0a04 |
Close
Hashes for z3_solver-4.8.9.0-py2.py3-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 91d87f5448aed95ecc410c5c8ead590c4581c3679b7fab1a61792087c5195da6 |
|
MD5 | ae7ab5ea47f55d18f3a2fcafd6a99d5d |
|
BLAKE2b-256 | efb00cfb0591d0e8af8f1a0feb344f54f4efa272aad7da3caa9a9c4d2f6fc09d |