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.4.4-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bb0e8739cf3ff011589ab14c5f486dc979459787028e9aa0798d81d5196a29a8 |
|
MD5 | 2fa92e686d855434a9ce5b82c9f98d86 |
|
BLAKE2b-256 | 09682da9d51c4a977a0d1c75041834a2e34178340d3caae66ed3a6ce2a054905 |
Hashes for dreal-4.19.4.4-cp37-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | daf78c699c6a13f7e450eea832ba481f4abf362a7ef9667ea317e201df84cacb |
|
MD5 | 94ff23c15dcfcc8192be1d28db42a319 |
|
BLAKE2b-256 | 444c24fe14da5a244e6eac7b4437fcc2dabf20e9a47d7d8c7aeb87a661514ca5 |
Hashes for dreal-4.19.4.4-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 93cc803a3471c7d37e5189a45463bdcf6aa715947c82b06a3be7b6899d847b79 |
|
MD5 | 5c7a3513899ad7b7953c5b5b8d704388 |
|
BLAKE2b-256 | c2a76275c58032ac886ea61b2de9bfb7b4b452b0fecce7314c779d07bd03b589 |
Hashes for dreal-4.19.4.4-cp37-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8548c8de89b2b032347eb7a07c1fd0c6cf642c679a41d40866d69f8421d2d5ee |
|
MD5 | 2cadbcaf156562a4f87e8a5cad1d0a67 |
|
BLAKE2b-256 | 9c5c4d21ba7922e15f58eca9fe282ff27f23c56af2998f17de93efcd92c3ef39 |
Hashes for dreal-4.19.4.4-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b32aff58a03831762803acfdb2140d97a7485248a0ca9af273738a396bcbd59f |
|
MD5 | 2a93c8e04f36fa83c3a4a44089aee467 |
|
BLAKE2b-256 | 36bc2a13afe31a6516c1c8c1e8523f8f3c47380204fe7b3da5f49494ef1ccd71 |
Hashes for dreal-4.19.4.4-cp35-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2cff8b136700baf87d78608f35442e0cc915e0dc9162282ccb554046295be749 |
|
MD5 | 5fde5a199f64607795d4313fbe3e1d49 |
|
BLAKE2b-256 | 468b22e11635101cc5189e7237d06507fb9824f432453745e7d86f56acfe9dab |
Hashes for dreal-4.19.4.4-cp27-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1c5e710fd8618db95a8172f87829e25beef57cffdee19b511f664b7277a90844 |
|
MD5 | f7c6ca73a4e81cd5f644fbe7ddbb95dd |
|
BLAKE2b-256 | 06eb7e90c2e615ef3b1e66bfb0f4e347dfd2909a1faae542f623a07cf296b216 |
Hashes for dreal-4.19.4.4-cp27-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7fa778c5b62f7b0409a183100cf7eb14187b9915956d67f75916d2d0e6fac304 |
|
MD5 | 7abfce6dc91257fe7113d602144f587c |
|
BLAKE2b-256 | a2c6fa1ec1be68f642bd736d063d338e241c58b05818e29b028fc9dc330df1ce |
Hashes for dreal-4.19.4.4-cp27-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4340b229d4f14f48001afe52fc3055e4e3ed70b274679adc88bc9b8fc7c2870d |
|
MD5 | 9dd5937f0787eacd2341704b27e76358 |
|
BLAKE2b-256 | 738b4316083d30d65d2fb24c1433d766ede327a1b1f4cef1d4884f037dfcc772 |
Hashes for dreal-4.19.4.4-cp27-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d3ddd2117d43fbabcfa1506a757a2324ee705dddadeb84b5ae15aaca04e916bc |
|
MD5 | 5268323cd645911e2fbca165e49b9b2b |
|
BLAKE2b-256 | 8960b54db92de28150633084bd0cdb3e948f4a9b47d1d187535d5b9ea17f5c30 |