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.1.tar.gz
(742.9 kB
view hashes)
Built Distributions
Close
Hashes for dreal-4.19.4.1-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 09158ffba218aca981d46bb25737117c283afa319ecc5135a52f6c6481b50f34 |
|
MD5 | a6ff770972c6288cfd8462ae16dc3ea0 |
|
BLAKE2b-256 | 6e6f2bf2dd9cf26e177c4dd0697a119fa3dd6d4bcd0616fdf34166f41af247f4 |
Close
Hashes for dreal-4.19.4.1-cp37-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 818326256c80992768c581d49987416fd09a00376fdacf8ec0d1249b98e34986 |
|
MD5 | 51124c710233a6729999dec2aa6bafe1 |
|
BLAKE2b-256 | e57c5316a40088c6f8765616dd0e11623ef29a9055d608dc6fac9fc19fe79026 |
Close
Hashes for dreal-4.19.4.1-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9516c1c5cf25fbc2a0f6cf9fea2b7d3d1ca689ced8e8ed0db4047761768cca66 |
|
MD5 | 6b0c2980e3291b3c3e1afb0f44e449d9 |
|
BLAKE2b-256 | c94ff0a066ba511e0521c8d4ca5af4af2466670d4165aef59535758c2a93d95c |
Close
Hashes for dreal-4.19.4.1-cp37-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6c38a16a60fd276dd5b5ab801c493ccb93532c85f498542bf5a09f8b111506aa |
|
MD5 | 2228431e84f256040ce512be76df53e6 |
|
BLAKE2b-256 | 1de4388ff2cef4b9e919c6f4e83d9476bbfc96a87764284f9a7b4e89294c4a67 |
Close
Hashes for dreal-4.19.4.1-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 804ab0a59ebbdb459a511d0e10e9e79e52fa94c68e3c391b2fc7e2fc7092fc50 |
|
MD5 | 50481708d6b5d937726ef5ea4153d7f0 |
|
BLAKE2b-256 | 42fd3319035c4f4ae37fd93eafa38aa9fcf33dcb0fd81c32f59f218b719c2578 |
Close
Hashes for dreal-4.19.4.1-cp35-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 94e187430d69448bc03e24a1545b77b3d4e96801826307a707c556c0ffffa7d9 |
|
MD5 | 7eba34b8c6c7b4f7f223979cd8229983 |
|
BLAKE2b-256 | e7fc0848d0c369682225ca89605ee164b67c558cfd835d9b0be939333c1a0560 |
Close
Hashes for dreal-4.19.4.1-cp27-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ef75a6cf0899c554ad74b67f36dbc687b542545cda4d0eff6239a7b3a41e9e0c |
|
MD5 | 61b3bf708550e340d722513a445446c5 |
|
BLAKE2b-256 | 7fa19e4be466fb53c1c06b69ef44a76d7dec157f2fb3bd9f505b27e9984e4bb7 |
Close
Hashes for dreal-4.19.4.1-cp27-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cd7e742630b1b34f8914d4e734edba4b84198a334da02d937179acb212371f40 |
|
MD5 | 857a7e4698464e45c0ee1c99e3dac34d |
|
BLAKE2b-256 | 861ae58ce09ce12bf8cd487d854fc3b895ac9602ea65b9df8226182de3385133 |
Close
Hashes for dreal-4.19.4.1-cp27-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d03c9aaaebf327a0cf1bacd1b4c94b24981d1c8fe2e2ffb0055d09779b6d0a77 |
|
MD5 | e5d45776fe3d72419549d9a0266657c5 |
|
BLAKE2b-256 | 995e2e77f905b295209d9229d526080538d927f2e5e520ef085f66e19cebc60e |
Close
Hashes for dreal-4.19.4.1-cp27-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 23cc127a58ea5e5b1df62a30f6879b84ce4bf38a7e7b54ede01e5216506a1689 |
|
MD5 | 4ac544752be44eeac73fc390a2e16509 |
|
BLAKE2b-256 | f516f2235527ef69b2af6c44ea18f29b46f63663c23f502b85c664fc44c2b05a |