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.3.tar.gz
(285.0 kB
view hashes)
Built Distributions
Close
Hashes for dreal-4.19.4.3-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 272693871221911186dd44038f550635df70445da2de1314817a7619c6fbf0f7 |
|
MD5 | c126fcd6903aa925639ecd5c21226a2f |
|
BLAKE2b-256 | bd593f96e195565101a83002b134859a742181fe77154a0e3bfbbbb5dbe24658 |
Close
Hashes for dreal-4.19.4.3-cp37-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2ebc802520da7d23a7c0da62c1483cb9a92d000ffaedd26f6f723a4d84e71c0c |
|
MD5 | 075ac95d3cd5d0c72ae7070c4400f1de |
|
BLAKE2b-256 | 7f929ee82388d27fd78fca55e0061236726aee6182c366e5eead3602db5cec1f |
Close
Hashes for dreal-4.19.4.3-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c742b908858d5f8e73a9f2061937dde2e83299b30c6d886c015f14fa4deb2cef |
|
MD5 | dede9943385b0964a5e7518467d32c7c |
|
BLAKE2b-256 | e334845494f2c0ab05642c70f32ba2720e80f4438481cc3d5783a95c56469011 |
Close
Hashes for dreal-4.19.4.3-cp37-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e6a9375adbd7b8b53257a740616185091a88ed6f86e7b580ad4de0619c6c25f9 |
|
MD5 | 1d2cb1aad857476b826c625ad8e75d8a |
|
BLAKE2b-256 | ec22a9b92e15bc8510531f200a38e5c3f93dc227eef3e1628c639d772f336fc9 |
Close
Hashes for dreal-4.19.4.3-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 66c49157d7bb489ae24dcba4d57cabec19f8921be82436a65895a8a5cab1142e |
|
MD5 | d77cc6610e42aa5ffce95c182126f6ae |
|
BLAKE2b-256 | 5a6a5f1b035aa66a3d33979bb55869e40d33a93934f531206a4f2d0e0db6f127 |
Close
Hashes for dreal-4.19.4.3-cp27-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5ecea6cbe51e278d9cae8faa9755bb80a50c186a1679c60fa0208de7c0635c41 |
|
MD5 | c1874d3c9680c9d5a841386759cb72db |
|
BLAKE2b-256 | 0ca3bff204ab29c3e81c31e6817f311e2f81add5fd984b1e2b64ff7cc11571fa |
Close
Hashes for dreal-4.19.4.3-cp27-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7ea2859853ebf252ccac6bfbfb9c724a07087c839e6545d52e7ea5e58a8d499e |
|
MD5 | 5f6b061563f2e7d9e6be0c133299d7aa |
|
BLAKE2b-256 | d4654e59e6fd057e3fb1171b0d82e416f2e85bdfc372149eb0350eb9f347fc10 |
Close
Hashes for dreal-4.19.4.3-cp27-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 85b719a004c3e842680ac8743ca4dbda66d7c908c4406d60e7fb95922b9d05d2 |
|
MD5 | 615fe04a0198a8246c0166691df43dcf |
|
BLAKE2b-256 | 2aa0b547707245d048c1a155612ee5e10fca03c10e55b6323f98131b5af89d2a |
Close
Hashes for dreal-4.19.4.3-cp27-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1765bda2b2dd7faffaf024c58058d873ade446caa98714acc2d3dbb82b7b2f1b |
|
MD5 | 68c717a29f33bb223ab1f0ab5f24fd51 |
|
BLAKE2b-256 | a36c1de3e117e385270dc17fa021b780feedf0d4e19fb8af8cb2d8da706ff1d2 |