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.19.4.2.tar.gz
(225.1 kB
view hashes)
Built Distributions
Close
Hashes for dreal-4.19.4.2-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6073288b0da034a08ac5aea99e2e85dfb52272c8db50ed0bb652187bbf0da6b6 |
|
MD5 | 22ec7f388a1b1f1563b5ef6716f03662 |
|
BLAKE2b-256 | f22bd7227f46033d58a1180ea131e486549a49d5eb8a682be25a42789a2cde14 |
Close
Hashes for dreal-4.19.4.2-cp37-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | eb2aab3f103b3aea98afb4d9f341b5340966e5ba6ee78f05ac5a6c7af2e51945 |
|
MD5 | 38df041442f2742d4ea28035ea393938 |
|
BLAKE2b-256 | 5fee848eab8106f3c445ceb8d2f093773b71a636813cc176d7ab82143dde091e |
Close
Hashes for dreal-4.19.4.2-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a2e70178c9e06fbe42d25d1de21972b7af788b752a9174524e9fd8824c8ad83d |
|
MD5 | 1f0a62caa41ab54901363ee0fdbc0385 |
|
BLAKE2b-256 | ff9574de05924eccddb32929914c9aaf52f880ea2fd4cd3ef7ed6c2be0edff9d |
Close
Hashes for dreal-4.19.4.2-cp37-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 322bec3be9ef2f4b0cd213df7b10d292512c1b7bf258f01e3ff858f310ceaa29 |
|
MD5 | 6312bb7af5cea8a9bbdef13c06fc0b80 |
|
BLAKE2b-256 | 8ae37f2063106d0d4dd8458f9de294f42a4717b5e9aee1e00e41f0bc0faaee14 |
Close
Hashes for dreal-4.19.4.2-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4d3f0b677518e92868b93e69652cecfbb48a207acf13d972f06a881b084b61e5 |
|
MD5 | 0871b3c444cb986e746e24eda800a35c |
|
BLAKE2b-256 | 0dd45cf25a6a904c92592be63ea9709b4f63d5e47daf84904652e73d0e8ad3f9 |
Close
Hashes for dreal-4.19.4.2-cp35-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 53e7274842353943f04cd1a7dbc0f5c438250a04bd2b0d63bcca6bbcd1914166 |
|
MD5 | 47deae4ae56eb52cd46c1f1787dd4e6d |
|
BLAKE2b-256 | 16397f3e10a4908c42d995d1e872171dbd688f15470a70092d525726bbf83943 |
Close
Hashes for dreal-4.19.4.2-cp27-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c3487cc82ce6f366b29f54dd0802c6bc1515c8515eae6e054231d1c299446f63 |
|
MD5 | 568297bc1bb4669aa4178752e5b7dae5 |
|
BLAKE2b-256 | 3632f39fa2406631606a18542050f28dff0e60a086398df36ebda54b2fd58770 |
Close
Hashes for dreal-4.19.4.2-cp27-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b61c6085583aacc731354005a33dba332245daf4a17e89e9f28a31e90b930dd6 |
|
MD5 | 4da60a71ac740cc0d87804f20384537b |
|
BLAKE2b-256 | b20aee7f9c37c8868afc3469262d0440c7be8d97f178262c92b083d85b0b933f |
Close
Hashes for dreal-4.19.4.2-cp27-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | dc2c491f67cf2c257b35c4279bdd2c30877dfe72d2caa2c9a9a6305ca320a4d2 |
|
MD5 | 48523619946deb8203d958c58d6a2a31 |
|
BLAKE2b-256 | d9ff980e97cb9cae3ab8874833e83db69a57754cfb9fcded86c616c768a55c5e |
Close
Hashes for dreal-4.19.4.2-cp27-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0f49177926f8f87ae1edc59a966bbdc4e28cf8bc976523f8f02d177c182be161 |
|
MD5 | 6fa4fae0ff171e4b3dbf19318943ca0d |
|
BLAKE2b-256 | 42d47766621f817744a3f6db60d0c787ad814d18ed457fe806ff3397509fa691 |