SMT Solver for Nonlinear Theories of Reals
Project description
dReal4: SMT Solver for Nonlinear Theories of Reals
Please visit https://github.com/dreal/dreal4.
This python package ships shared libraries for dReal (libdreal.so
and _dreal_py.so
). However, you still need to install dReal
prerequisites such as IBEX and CLP in your system. To install them,
please follow the instructions.
macOS 10.14 / 10.13 / 10.12
brew install dreal --only-dependencies
Ubuntu 18.04 / 16.04
git clone https://github.com/dreal/dreal4 && cd dreal4
sudo ./setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh
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
dreal-4.19.2.1.tar.gz
(843.3 kB
view hashes)
Built Distributions
Close
Hashes for dreal-4.19.2.1-py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bd8b092f439555bb505aee19a8d9b46e8d1916148627ed4cb5f9128ee03ce1fc |
|
MD5 | 429a7142f7794f8f1a96ffb90845cff4 |
|
BLAKE2b-256 | 4fdf93ab1b5dbbefe77d8fadfe8e8cb17bd0d68a0cdfb96814dd78dabf654fa4 |
Close
Hashes for dreal-4.19.2.1-py3-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5e440008bae40779953f543fb160ce87dcbd5e3be7eaea233c472fa139f12439 |
|
MD5 | 4993d3b451769df91c9ea3ee288ad6b4 |
|
BLAKE2b-256 | fb74bed0c4e02a33c92177648f5c148c28cd2ef50b6ff98635be5285755676d6 |
Close
Hashes for dreal-4.19.2.1-py3-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cb8b481665609493e4445b6667cf73f8a888444ffc4e8df8a78cd8e71c2d383f |
|
MD5 | c43c4af06f06f1da1335b64033228df2 |
|
BLAKE2b-256 | 5905030b9b1209775811239e0d55cc56e1ea58f4942e07a91d165bac8bf8f1b1 |
Close
Hashes for dreal-4.19.2.1-py3-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e76ca2806240becd4a405ba608fba91be7a1dfffaa4591c94280506fff018ab9 |
|
MD5 | 35b89658bc35223262ac0e96e1cfb1a9 |
|
BLAKE2b-256 | 7492dc428872d40edb93dce47a4710bf75f63402108bba4c8d600e574956bb9d |
Close
Hashes for dreal-4.19.2.1-py2-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 361bd442c74cb011e38aae5a223fd461f222f89c541f25e13116706c76f66b82 |
|
MD5 | f6b414a222b3d80f95757e247fccdb6f |
|
BLAKE2b-256 | ef1ff6d87d1beda293c1a819ca639ae49b5a36d3176628c39c3aa7c0fff2e882 |
Close
Hashes for dreal-4.19.2.1-py2-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1f8c5ee387c856d43679573ac8154f143a42bdd4d0afea13232fc5a44a2318a2 |
|
MD5 | 20587efc19f0952b039c216463e1d73c |
|
BLAKE2b-256 | 14417bf049a16697ee7f6ce3e9e25efd9c50536bff89773580bbc5bd2d611495 |
Close
Hashes for dreal-4.19.2.1-py2-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bb5fb922b2002510d989d9e462dbdd2a359e781b5653b54fe91e036038c1ea26 |
|
MD5 | f6451e2ab59565b0daa5ae8e049b4b04 |
|
BLAKE2b-256 | dffa9c6d0456ca232c07cf3e9ee613e5e09fba3e75c2de420cd2dc048b4acb61 |
Close
Hashes for dreal-4.19.2.1-py2-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 07649fc6272bfadea1245f480e279ba9e60f525fe7140e38cd7f834f2ba79ddc |
|
MD5 | 65b1632cc81a5399ac08519c982367c4 |
|
BLAKE2b-256 | 8e043f321a4b5ee404b392771e39291d9b54037f85ef6c5a56ae896db3980be9 |