SMT Solver for Nonlinear Theories of Reals
Project description
dReal4: SMT Solver for Nonlinear Theories of Reals
Please visit https://github.com/dreal/dreal4.
Precompiled Wheels
We provide precompiled distributions (.whl
) for the following environments:
- macOS 10.15 / 10.14 / 10.13 + CPython 3.7
- Linux + CPython 3.5 / 3.6 / 3.7
You still need to install dReal prerequisites such as IBEX and CLP in your system. To install them, please follow the instructions below:
macOS 10.15 / 10.14 / 10.13
brew install dreal --only-dependencies
Ubuntu 18.04 / 16.04
curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install.sh | sudo bash
Build from Source
If pip
fails to find a precompiled distribution, it fetchs dReal
source and build it from scratch. You need to install the required
packages to do so. To install them, please follow the instructions
below:
macOS 10.15 / 10.14 / 10.13
brew install dreal --only-dependencies --build-from-source
Ubuntu 18.04 / 16.04
curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh | sudo bash
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
Built Distributions
Hashes for dreal-4.19.10.2-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ddd68b03cd5e227b3b26321231e7f05d142882a9932f083bb4bf19f327b69809 |
|
MD5 | 8f7f880d4a53e26377173bb2d070d484 |
|
BLAKE2b-256 | 262d304838c4aa1116f0cc87be3f70ddd7bb0596c4f1d386efca35c836f52c69 |
Hashes for dreal-4.19.10.2-cp37-none-macosx_10_15_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b7ac8965984f8e214e55a1801e6305cee093906a72e1123199ac194963f85c84 |
|
MD5 | 6f330eb7ef662e042ce1e9333ff4d005 |
|
BLAKE2b-256 | 1ab0a8ce056258cd947d0b60f25d41479bac09e688f6775ee26f0173f33fd864 |
Hashes for dreal-4.19.10.2-cp37-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e9b972b3570e63f26415a1b92c4e26c9c7b73b70c0b6903357f9fa0167950ebd |
|
MD5 | 39748bcf0c9100660371a653176cae21 |
|
BLAKE2b-256 | a188e9a0998957a2560721575468a4b0b670919d066243755381037a8a299639 |
Hashes for dreal-4.19.10.2-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9fd13c7b2ca536747062593271c3f97540d1af0b589cba353dc77db9b752469b |
|
MD5 | 8ba2a4445531adde3779f5b647d306a6 |
|
BLAKE2b-256 | f68ff2c984c4d7d838eb66de0d8cb1c68823bbbc5cd0aa30d1520a130d2ff53d |
Hashes for dreal-4.19.10.2-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 10648dd19f9dc60554c219de97b1a05a6d7a41bf367adcd29f3c3b55255f4766 |
|
MD5 | 7455d08fbbfaf481c1a354acf574fb8e |
|
BLAKE2b-256 | 3d9c7c84af8f0cb8c91e79674a43cec8cc042401558ac26569c049cd4f4a0462 |
Hashes for dreal-4.19.10.2-cp35-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 105e43cf84170b64bd8ddb7d291860932cb245fc964232b67408b19f704c9d42 |
|
MD5 | 4d5c888ed4e4651e9a90b9b29e7d73b6 |
|
BLAKE2b-256 | e75b07b52ac874e18a08987ef014e4a1e6f0ac6a02bacb7e1bd0ef3ee31b361e |