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
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.12.4.0.tar.gz
(4.8 MB
view hashes)
Built Distributions
Close
Hashes for z3_solver-4.12.4.0-py2.py3-none-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fbd7faea88bd32e6ba362913d1108d0bcb298df57154538a9bb2684757c35d0b |
|
MD5 | ea73be734efca29a23b6227eb0bce645 |
|
BLAKE2b-256 | b1de194952d8c263030fc1087f27786aeeef71bccab652ecab8a29e23c12c388 |
Close
Hashes for z3_solver-4.12.4.0-py2.py3-none-win32.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 50011e915e97c4d262a010ea0403081b2af71c8474b27c53185407beb30b6ac7 |
|
MD5 | 57acd9bbc5d0f707c69be90957b5d0b2 |
|
BLAKE2b-256 | 73dec18bf6a1088ed8125a1884d7c0c9d1660289922995deab96b00619f69120 |
Close
Hashes for z3_solver-4.12.4.0-py2.py3-none-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 03ce2639eced8a4d4bd432ebab15a6b1cb36119ba6a2854c01768ee2cd596c37 |
|
MD5 | e85e590f4f7e210719f51a7059e56482 |
|
BLAKE2b-256 | c43c64491731c6a687e186eba1e5a8c2d8043d78abc516ca19e404121d1a25a8 |
Close
Hashes for z3_solver-4.12.4.0-py2.py3-none-macosx_11_7_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6ffffdb41d714b6683cd87d8cf7eaa0e94eb40a6d5eca3636cb90a95d4e6760e |
|
MD5 | 98ab8fef2d5fd5bb9b57f7feb702b814 |
|
BLAKE2b-256 | 23fb3f941fbf033312716e1a9fa42984ad88466453fed4b3b1af5b45ccd2792c |
Close
Hashes for z3_solver-4.12.4.0-py2.py3-none-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 956daa69d3c7017f704c64d11c9ed880e06f177923e9af695a03034fc0e2e36d |
|
MD5 | 035ba5b70916a357a4f1a2ebb1e260fa |
|
BLAKE2b-256 | 75a79d464f93c23a05bd326c95e9353ba1ab2a51fb0aa8de302146a3b59c2d04 |