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/z3prover/z3.git
Project details
NoneRelease 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.13.0.0.tar.gz
(4.8 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.13.0.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3555436cfe9a5fa2d1b432fb9a5e4460e487649c22e5e68a56f7d81594d043e9 |
|
MD5 | fdcd1b43b7098b10ccfe5c893b78979b |
|
BLAKE2b-256 | 25c0dd978c813288f6860bcfb9e4d2d1d3b311a42a2237a4766e5a0adbcaa79b |
Close
Hashes for z3_solver-4.13.0.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 13468e1018c817b7f794898d3100f02541d15c13ab56c0785c5acdea32a066cf |
|
MD5 | 3fe1512e70a2cb278608368deb161d75 |
|
BLAKE2b-256 | b927ca09e1f4642b42a2972047f508bc4ecb0c5acf975c910eb0fdeaf9ec21d0 |
Close
Hashes for z3_solver-4.13.0.0-py2.py3-none-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8c42de82b6e3ff7ee61287d03c7af8a99f9f6554cdd1204c6b9bca96ff1cb7fb |
|
MD5 | 65dc49a5ebeaad9c76945db97da93123 |
|
BLAKE2b-256 | c6790255fe0efee7ea9db8987ced14c70028a0007d4d4aaaed8965310bbd7bb1 |
Close
Hashes for z3_solver-4.13.0.0-py2.py3-none-manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9d622022a3511c059915c56b2c231c84b5c1be1b82f457d7560dda3d916474fe |
|
MD5 | a2624198f0d229339758f43466dc4352 |
|
BLAKE2b-256 | 0e8c9058d3998fdc2148f3e6d3497e949d5dfc77c66b1cc1cb461554c0bba954 |
Close
Hashes for z3_solver-4.13.0.0-py2.py3-none-macosx_11_0_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4a4731fded91b32e1861e1c7c96e500da743bb9431246cac51f7c3ffc0f21b5d |
|
MD5 | fc5901390310ead5a7a28e5a395d6fc4 |
|
BLAKE2b-256 | 9c20f28dfa982bc820760117e5615d59d695d12a6fb31660f53a749be27cccca |
Close
Hashes for z3_solver-4.13.0.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bca7d59a699a440247537c2180c519d682c9df3520a16ce288fced61a70d253d |
|
MD5 | 1f250f93592d593db4b0eb7a082c0fd8 |
|
BLAKE2b-256 | 4e5b934de9f1f31b1d0f3a8da0ff2e3092136fbffe737eca52965818464af4c3 |