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.1-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a628c7ddfbc1d5b26a4dcceb1c69ee004b5552f17a12b550c7f922fb831dd136 |
|
MD5 | e42918e12f2d1b8811a25f1a7f06aa5d |
|
BLAKE2b-256 | 06cca78ccab35dfd56ec2fd110b6f106834f9df819adb4dd3a0fb8736868c7d5 |
Hashes for dreal-4.19.4.4.1-cp37-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | dad83b3ec2011ed6ed600e14a6cd007c4374728274297b55d64ee7887b5e7448 |
|
MD5 | 5092e26cd725cb89b80b3b4886d10cc4 |
|
BLAKE2b-256 | 92522ff92e3087498ba0bae44ac703e01e4b087b0ee79271ac85cd79eb7df2f0 |
Hashes for dreal-4.19.4.4.1-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bc303a167827624bcc7323479ae00eb295d390878d31465541783a12f128617f |
|
MD5 | 1f6cfe8da1b0622f5d9142cabd7179c4 |
|
BLAKE2b-256 | baadffe16bef918bbb163393854b459a6edeb5e8f2f261cd777435f14c07bc27 |
Hashes for dreal-4.19.4.4.1-cp37-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5009bb62b1ffb4f16ab9c8e803b7212385ca0442af82efd9a4b3e2f36581725e |
|
MD5 | ac9c8614e7e83371fa57b4e728ac2417 |
|
BLAKE2b-256 | 99fc74426ec3322aad8ffeaca7e0c511e7293c654b4849ad2641723d613d1c8c |
Hashes for dreal-4.19.4.4.1-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | effbfc5b1f5eab1c2a1cc1e9fa2b181214329794cfc8643c9a3a7385b02e7191 |
|
MD5 | 489e858a24e33751de432cf66075f845 |
|
BLAKE2b-256 | 589a8dba3473eda03d2c94e093302ecd207033a9123fb51face473bb29348ef1 |
Hashes for dreal-4.19.4.4.1-cp35-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4c3be8d0a0fd790aeb683067e0be8e3c53bfbf720a9812241a53639a61c1ca8c |
|
MD5 | 1f6bdc7fd5ba19892f54bea3abd9c4b9 |
|
BLAKE2b-256 | 21df2d1e967ac5634f1998b87db814162ae361f6d0274c11c8074a21a05285a8 |
Hashes for dreal-4.19.4.4.1-cp27-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 009b91e685fcc04798087830817a54ce1b82d34a2318786755055a62e4a36344 |
|
MD5 | dc16d101d2cd04a9ca6caa6ea9af938d |
|
BLAKE2b-256 | 8b12dc98b0fb2baafa45d85bc215ee1cde24582f4b2ff3c8e31bf600986baa42 |
Hashes for dreal-4.19.4.4.1-cp27-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c6c2eb838c1913cc5caa8d98abf583241a8928407d52306e837f3bdc4e191018 |
|
MD5 | 06c8e82cce498fe152dd7adc8183113f |
|
BLAKE2b-256 | 11bb0ec9feb13368ad51e2a6151436e15835dd043ea2bf25006b4012d94ea1ae |
Hashes for dreal-4.19.4.4.1-cp27-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cf6ec7f1180f88e56efe8a53cdc0c52c4d486fb3e3c1a1a96fa12fa672c5481c |
|
MD5 | 5a071442753908151e652d9dd35b19e5 |
|
BLAKE2b-256 | 59c7d7789628933eb1e08f34e695b8d0692a7b2ef6db9bcb17b2df4154519be6 |
Hashes for dreal-4.19.4.4.1-cp27-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | dd9fe931b59131dcb6e246d2d663e63244f9da328413cbcca0638fde27d5d93b |
|
MD5 | 09380b9367dfb4f4ceee05a535139934 |
|
BLAKE2b-256 | 69414b9a9b65a09627826d650ba305833002b00ae6feb0ad469bf0a0fd33b9bd |