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.6.3-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 31bec8bdb39efcffa58bd5c6ffe141a34e6ce7b4a22cdfbfd7afd3d436c1ce90 |
|
MD5 | fbb22646101ca4b9550a40502a6abebd |
|
BLAKE2b-256 | 40bd5ec6b3f5252508840b70efde5d9f8041cf7368edfc8cd8d8cdd6ff7e212c |
Hashes for dreal-4.19.6.3-cp37-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 365c9b63c345285dacd2368cd15fa7d4d21a4bb96f37f957f653234fb85677e5 |
|
MD5 | f30cb9ef964973c2e3ace36d76c7ce25 |
|
BLAKE2b-256 | 94c76d576867105fd7819d3c35d095190aa0fbd94ba34d6a3a94a9ecd1bdcd46 |
Hashes for dreal-4.19.6.3-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9c841620bb7dd33a127102becce52717226ab71ec114d13342c6c90c2286015f |
|
MD5 | 87cab648269a56e986b0c1b773fe64ec |
|
BLAKE2b-256 | d0012a1f36ba7042a658abe846865c40795774854c194a9cc6c2f6f596931a80 |
Hashes for dreal-4.19.6.3-cp37-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 606169a63fc9d752e06bc6839913086b52b3d4f12adbaa6508c14fccce8caea2 |
|
MD5 | 6f82bf68b39776c9533dcbaaf04809af |
|
BLAKE2b-256 | 3fb4fcf5f0967093f998a1a8ae323d7d38898cec9e44aa68b1d05f2e7cad49d5 |
Hashes for dreal-4.19.6.3-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | febeb364559eb0739535f8c58fc9216eaed31d0208fcdb468be28171eaf901c5 |
|
MD5 | 44b286fa04c2f2cea96cabe452366a7a |
|
BLAKE2b-256 | ed777ea663f7586a56be76be9068acb02b42dc20ae73354c5f723491355833ed |
Hashes for dreal-4.19.6.3-cp35-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4a8ce28cb99b5fae21fa05c1b6711ca7212249d93c59e957bf9f207ffae46283 |
|
MD5 | 74a09b41a3c52dcd38431fd56d829cd6 |
|
BLAKE2b-256 | 5bab6e2f96754749ebe1c44797465d30573f879fd2491195c3cd39a218b5bf59 |
Hashes for dreal-4.19.6.3-cp27-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5af6771ee5dba030d2edc60995bb5d128ff998f8866ad0b8e1b48171810a67c4 |
|
MD5 | 3f6c417a0eaeccacf8e0deb3a6af02c6 |
|
BLAKE2b-256 | b8e40d0bfe3abc294f8b3f1aae6744bff7ca465311cf181a523b6ad4fa8f70df |
Hashes for dreal-4.19.6.3-cp27-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 35fb7af4fca2919df70a12148dbe3de50872919c935451c0464a7568574d7219 |
|
MD5 | af90b3bae9aa2978c6b2e4097d8c358c |
|
BLAKE2b-256 | 2708f70f9c23774b9cce93439af3215d1190f844d819dd85cb00462de0b25406 |
Hashes for dreal-4.19.6.3-cp27-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 623ad939e3e2e5bddd6cd17fe49c35bbf69d2ba01dd6049116ca1afba92f485c |
|
MD5 | a9cace69ea09e9882cc7d9b4d6e157c3 |
|
BLAKE2b-256 | 982dc44e22d842b908f957eec25c0857811bec15f6b45ab201397d2ca0e12c51 |
Hashes for dreal-4.19.6.3-cp27-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 349eed55890123f8e12c0c0c8fb6605929ae6cd922c76265d55a2c0aa81eba11 |
|
MD5 | 65214ad350d798ce513574ca641502cc |
|
BLAKE2b-256 | 642b60e73f962d54e716b4b68e15759e477b46ad78deffa3ecad788c5f5764a9 |