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.3.1.tar.gz
(746.1 kB
view hashes)
Built Distributions
Close
Hashes for dreal-4.19.3.1-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 27f7767b0dd2e546dfedbc83edca57941edd0ae2dda6a1086d174e8a091ed860 |
|
MD5 | 14841ab49173ca338dd6084411ae15e6 |
|
BLAKE2b-256 | a19f6eabbd32e8c079c12ba626a0c8554f3e5bf94b194429af3e3bb846505a2a |
Close
Hashes for dreal-4.19.3.1-cp37-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f66ecf5246797c10f058584e0d1d4c9a655feedeaca7bf43640cf23803776f0a |
|
MD5 | c85bd1b05c2e38e96a088539ce401b68 |
|
BLAKE2b-256 | 00aa1c1c87c5b171ce89c7ec9f3d54cd312274c8eb57b8e7e43d34a3589d66d7 |
Close
Hashes for dreal-4.19.3.1-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4c9f50408da4865198596fbc527f7ff44747a667b0c7cb96e564e13bd48990aa |
|
MD5 | 615c5b43a0218e35b1a696ecaf0a187b |
|
BLAKE2b-256 | 9eb9d6ef97409c10a14599068b584fed83de60027cf9ad14d1a00074e07e1055 |
Close
Hashes for dreal-4.19.3.1-cp37-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ee4d52ee024ddf13cf94e0e4a2d03fdfa3e60684474e43e9356f69c8f06d28c5 |
|
MD5 | a791b8397536e044a449e2cc41cda108 |
|
BLAKE2b-256 | e3c828104fa8a70b2069d18856370d5d86b7a0f67922e7b92d090d795399e7ed |
Close
Hashes for dreal-4.19.3.1-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b07ee2fd5bdeef9eea61bd87844c3027fc5de7ba739fbea0c84aa427fbc1d33c |
|
MD5 | 82944f299f359eb6d0335a9bdd120785 |
|
BLAKE2b-256 | 65eb2c3f790f37e3c2d9d2fc20ad49827df77e80a7540f8df787cdb066342a06 |
Close
Hashes for dreal-4.19.3.1-cp35-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e86974b9c04ea69bf19637d5d3cc7cbb6b011e0190a21a0e31195ae92ab5a64b |
|
MD5 | 2889355abe1b0afced0a5776c3462d9d |
|
BLAKE2b-256 | 5ddd7e2af1fa18c90d78ba91a7c5edbc735d2eda7ce79381a4f065ad2c47e68b |
Close
Hashes for dreal-4.19.3.1-cp27-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 134448da7c703700854892313ac780cf600d1dd172533d757eb09fabcf9a2854 |
|
MD5 | c3437c48dca95673aa0189e7f2067d89 |
|
BLAKE2b-256 | f0c382cfd0ddb19aeb82f5c3bd7c17c4784964e888093954c219bac32dc3b4d4 |
Close
Hashes for dreal-4.19.3.1-cp27-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ca63005085081aca995fb35fa08c03dfa7020e9c93e0c877399c72801d815737 |
|
MD5 | a2ce6a14129c671b537df086e73470bc |
|
BLAKE2b-256 | ef197a32a9cc46acf6a8aae956b6dd75745be0c4ab7892b2ef5c592635340e1b |
Close
Hashes for dreal-4.19.3.1-cp27-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f5705cbd6ef33831a67bdb4c6be74366c85ef1ec5018f1501170b05f85461543 |
|
MD5 | e5f1b0fb205e6e7a1009715bb43fb663 |
|
BLAKE2b-256 | 6547725bc5e1316293741611faa17c32f86574d37da5bfcf6407219d3d7b079d |
Close
Hashes for dreal-4.19.3.1-cp27-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fa1c35f8a54618bc1c57c19ea1d35c3e9d57d5b11236059ab372082fe79a7eff |
|
MD5 | 77fbc944d13181b543a671c4ef4d095c |
|
BLAKE2b-256 | e0c9d87bc8b48c17458dd82009e74d33f7516c38394724e56e873cab9a340a48 |