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.8.1-cp38-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ca11c790014ec09b03fcb86b715db2fd8aa28dc071fc926b5f4781290766c423 |
|
MD5 | 23fb555c96b0a23557f892aa19512307 |
|
BLAKE2b-256 | 123919790ae16048910e1b2b589e730938fe839e0aea9d53a980061254f6344f |
Hashes for dreal-4.20.8.1-cp38-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3e288233fbcb6579305d913237610c303966fd535c691dd2badd946d1f75528d |
|
MD5 | ac884e5763848418a982c1a880dd8444 |
|
BLAKE2b-256 | dbfc2f9470a1b8a40e324bc24ba36f2a9bc11ab77bac9323beb8db18696e39af |
Hashes for dreal-4.20.8.1-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a38e86f2ccc1f34a9a667552b2db076caf00789878f10c262d6c9469973af2ca |
|
MD5 | 92b5f4bdcb37365a7e737f96e3e8f434 |
|
BLAKE2b-256 | 8fff6b93afafce935d7c2652086e92c6fa9ea81396e93151467058fb35d64cbe |
Hashes for dreal-4.20.8.1-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1d8dbccc8040422217fbd117e251cc3f26c6957002c2e95e81c928830235d2be |
|
MD5 | 2d66ff22a86cc014b3f0aa9bec28050b |
|
BLAKE2b-256 | c2394cfe258d78643560966c0a862157b9ed50ce225731696c8abf17fc0e409d |
Hashes for dreal-4.20.8.1-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 33071a4e63a171ff5cce83e85d56e376eecaf484510a1acbe30a8ecfe4b58fea |
|
MD5 | 1df8eb5b9d369362d4e489d15eb34c91 |
|
BLAKE2b-256 | 559ad1742828b1dba85bc68a779dceece077266ca673a560775e308d045fe635 |
Hashes for dreal-4.20.8.1-cp36-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 04affac3cf926bc8f2d27cd0af5ab3df318653fac843dc1210ff0d2884ae8009 |
|
MD5 | 9a9e591cab1e6ee902839a6615dc2f64 |
|
BLAKE2b-256 | b7754c5c71b60d2f09e3cf460a0d4331e9e80f2f4ab86ed6b03cbe724a99b1cd |
Hashes for dreal-4.20.8.1-cp35-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 869409038800c55dd4a4cd218b3d15009913ac198b981020c8ee0c5f26254065 |
|
MD5 | 89ba31a5b853544d6ff6d1f95d912b06 |
|
BLAKE2b-256 | 4d4be3eb1eb552b3ad9761756b885347047d3cd28de194ac443dffa127d49306 |
Hashes for dreal-4.20.8.1-cp35-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2d3e346bbd5c8f15382bbdc25350e0d176866efc4ddeadffc593db7543dfbf33 |
|
MD5 | c9c7cd11b77d475d53a952cb9e17f9bc |
|
BLAKE2b-256 | 67b5ad53b58fa2b4499b2b57fd598ecfd51c3c10ef64a689c1374845b3c6589f |