SMT Solver for Nonlinear Theories of Reals
Project description
dReal4: SMT Solver for Nonlinear Theories of Reals
Please visit https://github.com/dreal/dreal4.
This python package ships shared libraries for dReal (libdreal.so
and _dreal_py.so
). However, you still need to install dReal
prerequisites such as IBEX and CLP in your system. To install them,
please follow the instructions.
macOS 10.14 / 10.13 / 10.12
brew install dreal --only-dependencies
Ubuntu 18.04 / 16.04
git clone https://github.com/dreal/dreal4 && cd dreal4
sudo ./setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh
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
dreal-4.18.11.3.tar.gz
(766.7 kB
view hashes)
Built Distributions
Close
Hashes for dreal-4.18.11.3-py3-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f8050d143601485d856e4e1b91bb25234828e80f837edffb4221d3f92c217308 |
|
MD5 | 4ad98e0e0432558db52443b4f46f1844 |
|
BLAKE2b-256 | 62c267588d0560eb4ca70b4534de851d5a5bacb8010b9a8ae3bd4f53bb51209a |
Close
Hashes for dreal-4.18.11.3-py3-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c81e4bdaa443658b11181907c98e068656191caec3e49d250a60ad1318bbf0ef |
|
MD5 | 6d09cf6ddf0d742d91c3b035781ddf31 |
|
BLAKE2b-256 | e99130f1716616095fd0a74f3f39a9ca8db64dba249a8dfd340fef0b11cc86c4 |
Close
Hashes for dreal-4.18.11.3-py3-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 72ee83071354e05a7f00c7845d1d4c64dd4bf8ec6570be0fb0588c0bc43988b4 |
|
MD5 | 12a12cc34b814fd9fc4246c016fdeee9 |
|
BLAKE2b-256 | b9a5714c021d5f839de0f0c5992e9d1fea0af3b1b742340d7926cd1b34854395 |
Close
Hashes for dreal-4.18.11.3-py2-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 97c273b7fe07110d814b1297beef06424383ba9f3333e06ecf0e8d78dc8701ba |
|
MD5 | 881eeb306e2f4230915e186054547e18 |
|
BLAKE2b-256 | 8dabd63173f08941b9c1293dacada1be04a7a904a41a2cc7a78e7211943a5dd3 |
Close
Hashes for dreal-4.18.11.3-py2-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ceb9a68257a2da338eb9459f0193c4a42be9ab7dd5f6aa2f4727d613475274a3 |
|
MD5 | 77d6090a03e748c9418f796229d48062 |
|
BLAKE2b-256 | 6e2bbf7c26cd5df608275f94361716323dd2ab1d77de8fbc80b5547980a8dc89 |