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.4.tar.gz
(901.7 kB
view hashes)
Built Distributions
Close
Hashes for dreal-4.18.11.4-py3-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9bab8635bf04136e841470b1707aa8468608eb15b267a01b813d585c23a98b66 |
|
MD5 | bf29d2ed6109033189adedb51281c513 |
|
BLAKE2b-256 | 14b586d5122a2d5a2ea041d65bc79bd5aae93ddb934be2ad1f547a8dfafaf556 |
Close
Hashes for dreal-4.18.11.4-py3-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8ad10975a3ee309ce58fc2a98774b2e1301ac99cbba9e35411bf18aa69041ede |
|
MD5 | 25b0c15beb22663e63e84c5a062fe45d |
|
BLAKE2b-256 | 12daa31219ed1170f92331bfcdfe33c88892c99a202eb2d5834dfb9b789f482a |
Close
Hashes for dreal-4.18.11.4-py3-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 19146cf29b23bdc33edb5d2ba46b60121acc63c47c7e3e3e1f95d6dd09c47e6a |
|
MD5 | f608c516cc992f2c29bac4ae0541569e |
|
BLAKE2b-256 | 9f7071e59913219a07bc936aa939da5276fb7489a06f2a58ef3d8ba75b87f5c7 |
Close
Hashes for dreal-4.18.11.4-py3-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 30dc8287f31cc1cf99e37be4f8e8034be690f04bdba2a63301050f6d9fdc46da |
|
MD5 | b1ee0feba0bb0d6f1731d2a937575ea1 |
|
BLAKE2b-256 | 00e23b420f7eddf4b16e0e158a71d40fb142e2698c4d11bf84d9eefcacf67f25 |
Close
Hashes for dreal-4.18.11.4-py2-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b9039cb6d9d3130a29bc393c11c965c72facded583033d018ef2f30b84cf4d82 |
|
MD5 | bf0c9f914f95d50b048e1b8e744954a0 |
|
BLAKE2b-256 | 78151f838af758ae4c0023d83f40b90cc89707d58c15ee77bc9bebac054048a5 |
Close
Hashes for dreal-4.18.11.4-py2-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | dd9c362faa39564a91988aab3225606fad914e8a87495112a2071165fefba9fa |
|
MD5 | b2575210de59e15590cd82b7a9705833 |
|
BLAKE2b-256 | ea6ed41c2a1fbecf70f59292a899729279d46a6dcb96dabf0655756d0445fccf |
Close
Hashes for dreal-4.18.11.4-py2-none-macosx_10_12_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 32d3e5e1b1b7e262423a5acdba0a055805d6d95a4a2e280a033e2eb229392b19 |
|
MD5 | 7e035321d146dd57603f5b3b0f8b87ff |
|
BLAKE2b-256 | c62fdf021411e538aa0ed01691677b1e0fa4cf8d9521904b6fdd77e07ce6df05 |