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 11.0 / 10.15 / 10.14 + CPython 3.7
- Linux + CPython 3.6 / 3.7 / 3.8 / 3.9
You still need to install dReal prerequisites such as IBEX and CLP in your system. To install them, please follow the instructions below:
macOS 11.0 / 10.15 / 10.14
brew tap dreal-deps/ibex
brew tap dreal/dreal
brew install dreal --only-dependencies
Ubuntu 20.04 / 18.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 11.0 / 10.15 / 10.14
brew tap dreal-deps/ibex
brew tap dreal/dreal
brew install dreal --only-dependencies --build-from-source
Ubuntu 20.04 / 18.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.21.6.1-cp39-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | aac7594a3a8d4e5327eb84c106e112551e09127471fa20e2cde3b8d11b4540da |
|
MD5 | fa5523ddcdcfbea7eb23837f647e5197 |
|
BLAKE2b-256 | 7758501972ed5cb68b4354e5f4804bd8b0813d046cc3cc43280c88d116bbb782 |
Hashes for dreal-4.21.6.1-cp39-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b0d74ff76ff5fb903d8ea6e1cdc4bbb74628cc2c3196e60a331a00815446a4f9 |
|
MD5 | 80564e3bf69683e65f4b4379f4af9377 |
|
BLAKE2b-256 | 380092948c6de8a4b68e51081f8cb7c181bea00947a104adfb68fb14fc9c120a |
Hashes for dreal-4.21.6.1-cp38-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9546f2c28ae3caac3484677f601bd4e04b6d6830b236832d9bfae28a1f84baf7 |
|
MD5 | b69c701cd6727e1831213644bb6fb31a |
|
BLAKE2b-256 | 07a6aaf3541a6b71957802e8c510066216d180efecabeaec521a2b3f1820033b |
Hashes for dreal-4.21.6.1-cp38-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b38120aaaaddcecebfb585084c5845e04e6e45bebc104f9c81b8b699494fc1af |
|
MD5 | 2ae7823f133e669848eb238cf97d7a50 |
|
BLAKE2b-256 | 3997730a181269b76c70fc08faf6a04db211a98095bddf547ba6685348f2c76a |
Hashes for dreal-4.21.6.1-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ef234fbaeb1c28387eb2524f4ddbfc922f4fe70bf2a4397b1cad9ab180b7fc9a |
|
MD5 | eb9bb927b8679c66a0732d4d3cc22f45 |
|
BLAKE2b-256 | 794a88a070ca1b77fab59061ecc4a88a819dc85ddab9cccfd73e37a48e08c4e6 |
Hashes for dreal-4.21.6.1-cp37-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5770e18e929c52271b7c03296d3adea5e8afc38644bf2e3df147451a28e198e9 |
|
MD5 | b065dc547ddffc745de029984430de1f |
|
BLAKE2b-256 | 99d87664f4bb2f27ce79f99ee8ae32b20999d309be2267e34e726a226f725e6b |
Hashes for dreal-4.21.6.1-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e58fcd2302955564cb58a04ab0f65c713615703f215c1e4d73dccb5c3e8ba8a3 |
|
MD5 | e38a3f459ccef6a03f8430cc6fb095e8 |
|
BLAKE2b-256 | 47441bbff5622376175a67f3c0dc7053134e8dda6dd5cf615b81dc8695a66b97 |
Hashes for dreal-4.21.6.1-cp36-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bf7fa477b731de9e3583ff081eca39a63ecc4f1732b6bc6893d5ff135cef5f50 |
|
MD5 | 83a82398f831c1e03bfc6bee5c08bb62 |
|
BLAKE2b-256 | 2db1eaed7143110a5fe22dd46b5dac3e866f9320d81b63d39f957222fe5d946c |