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 / 3.8
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 tap dreal-deps/ibex
brew tap dreal/dreal
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 fetches 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 tap dreal-deps/ibex
brew tap dreal/dreal
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 Distributions
Built Distributions
Hashes for dreal-4.20.7.1-cp38-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 826e8c198912d5bb363596670c061246b3e29b8ea7c01fd88f6079a8ff78c24d |
|
MD5 | df76aea63352df19433cf9e85e8e021f |
|
BLAKE2b-256 | 182f4edfaa8c645f149eabb382313fc5508bc65c69ee05dbbe3054f4a6883553 |
Hashes for dreal-4.20.7.1-cp38-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 35e55c6cf2450bc413ccd2ef6772f4e49dea18ef0947642a5aa3928eb64f19be |
|
MD5 | 3c9d76800fea6fa35be4a1392d9f8bad |
|
BLAKE2b-256 | 64a2a7a7c7edb5b54aa9c18e25d22ebf7868b3a540975756232aa79e03c5a49f |
Hashes for dreal-4.20.7.1-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 142f1953acb7e404d9825a985d3e1935c89d20b76efb976984ff08796c727f47 |
|
MD5 | b1d863d2dbb73441674978135a57f949 |
|
BLAKE2b-256 | 5b92fb73e2fb1fbbe87664e39a32738ae5bfc2e16af023f65627e58d1a73843b |
Hashes for dreal-4.20.7.1-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4005465c692b855c829edf0f786524e9f42182663eeb14c4ddab1f495ab48f90 |
|
MD5 | fe54b2b67aa86a96e3f7626e7ebb9769 |
|
BLAKE2b-256 | 561ad1ce61546bfbe8db29f5b5846a2bc14b3df16eeec6a2673b4d690f3a08d5 |
Hashes for dreal-4.20.7.1-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a394526fec56ab5fd59c95e5aaa6624e34fc69f10fe509934558d138d3afda0d |
|
MD5 | c3d29067fd5e5ba7d67c4f68b8579439 |
|
BLAKE2b-256 | bc08fc9a25ecf88a955254dd7bc0142e97c509e429c946f97bf06e5195dd6d0a |
Hashes for dreal-4.20.7.1-cp36-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b130a766897fcfcc02d8a159c791b4e6118a29adc68c49e9e0a36df9236dd835 |
|
MD5 | 6d191293bbbc7dee521852b66a5f64f3 |
|
BLAKE2b-256 | 54c6776ab8d83dc41e83b5cc383e0cffc9d4c3f618a20b1876b3acae4c203ce2 |
Hashes for dreal-4.20.7.1-cp35-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ee693ac7dc466ff1e8fdad6302d5953e68776481b56c5dd2d8cf040536eb0a11 |
|
MD5 | 75b3c9cbd8890cdaee1b784ee34a34b3 |
|
BLAKE2b-256 | 39eb368a72341c2071b60b453d9d92fa1d0f73e2fcd7b8350381f4ca3a0b688a |
Hashes for dreal-4.20.7.1-cp35-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3a6cb58c2cafeb311a4989f532f14a684940d4b853c2ebba8283ad6a8687b4ca |
|
MD5 | 176597f4e0cbb856eeea1eb36f5d281a |
|
BLAKE2b-256 | e0baf7cd1d6827507eb558a7f971298e960a2ba6781e32c1557e5f092c374ca4 |