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.12 / 10.13 / 10.14 + CPython 2.7 / 3.7
- Linux + CPython 2.7 / 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.14 / 10.13 / 10.12
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.14 / 10.13 / 10.12
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.8.1-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9cae9575f102b5bb94eb244ca4a88dae8aece911603d388946669a2a16cf43f3 |
|
MD5 | 9e8f715ee18549d67f5d2ea8508aaa1c |
|
BLAKE2b-256 | d315c65ea51b594fb2174512eb68539401bdaa928fc0bb3d78b7e8cb85547db2 |
Hashes for dreal-4.19.8.1-cp37-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 660c88cee0f23e44d7ca516b40247fb65b1672d39c6ab021d6c5dc7e3048f3f6 |
|
MD5 | f62fc4dfed8bf8254b9fd9fd1043a7f8 |
|
BLAKE2b-256 | 86591e6379e6dec6ed32b866ad0b4f9b4ccd8a9c0297b0bd373b53d7ddeee3fc |
Hashes for dreal-4.19.8.1-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 05d4d0cf3436286bcf4af073908182cdb863e74076a7edd0413816e9404d87ed |
|
MD5 | 1698003d97bec6935a3e5d1f7fc179a1 |
|
BLAKE2b-256 | fdf60ee99a4fc4f0fe33fa0d69539343c70880f35a6c54d627071ea369419b65 |
Hashes for dreal-4.19.8.1-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 10e8cb57ac07251afce8a9adde5521354b8c368e0534cdc8a72ba387e2ea3154 |
|
MD5 | 5e6af3a60c2365d3745bfaa1ecea2c80 |
|
BLAKE2b-256 | e7549f7d275c031ef24b8d42eb05044d8d577f2c45acfd22fde84fa1b47a8a5e |
Hashes for dreal-4.19.8.1-cp35-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b53cf81499599aea9ad68b6406dcbbf00af64280227b6906267fd7af3fdbeaaa |
|
MD5 | 8b9ac692789f1afcf052c67ae5fa44bc |
|
BLAKE2b-256 | 70e92ee37e3a1582c6730b5f861f9f580ec8ec5f838b468ea37a3671aa0ee0b8 |
Hashes for dreal-4.19.8.1-cp27-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f479da6c30909e53a6814c199bd9b0d79b85e04dabd643cf559dd35eacf5d208 |
|
MD5 | d0183e8e976d65e7971c26d9c2e750f5 |
|
BLAKE2b-256 | 47865411b975ade4a958e3d6e461994c5b5d0db21383ba66a32a445aada49ef5 |
Hashes for dreal-4.19.8.1-cp27-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 756cfbec29b561eb0d160bdedb2903f8850fee91fd546b5e193cc1ee7023b238 |
|
MD5 | 489059176fa79eeea84c28a5f2af77af |
|
BLAKE2b-256 | aebfaa5bfe6f82152c1015c3ed78c3983fbb2c3690e22c39843247e0092f3bce |
Hashes for dreal-4.19.8.1-cp27-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a6f01e266a0efb64f5d14dbe848923aaedaa952b1f15d415fd512bac6cc1da15 |
|
MD5 | 977f5316143ea96e2f4bd06f7aaee414 |
|
BLAKE2b-256 | f24d496cefd8f2cf908ffedfc41c76dc4362b51e4b1367b43937e6750bcea4f1 |