SMT Solver for Nonlinear Theories of Reals
Project description
dReal4: SMT Solver for Nonlinear Theories of Reals
Please visit https://github.com/dreal/dreal4.
Precompiled Wheels
We provide precompiled distributions (.whl
) for the following environments:
- macOS 10.15 / 10.14 / 10.13 + CPython 3.7
- Linux + CPython 3.6 / 3.7 / 3.8
You still need to install dReal prerequisites such as IBEX and CLP in your system. To install them, please follow the instructions below:
macOS 10.15 / 10.14 / 10.13
brew tap dreal-deps/ibex
brew tap dreal/dreal
brew install dreal --only-dependencies
Ubuntu 18.04 / 16.04
curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install.sh | sudo bash
Build from Source
If pip
fails to find a precompiled distribution, it fetches dReal
source and build it from scratch. You need to install the required
packages to do so. To install them, please follow the instructions
below:
macOS 10.15 / 10.14 / 10.13
brew tap dreal-deps/ibex
brew tap dreal/dreal
brew install dreal --only-dependencies --build-from-source
Ubuntu 18.04 / 16.04
curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh | sudo bash
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 Distributions
Built Distributions
Hashes for dreal-4.20.9.1-cp39-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5df8833089e2ed10a5d7251115007253d14c8fb8b3368bc1ee515befc01af4b6 |
|
MD5 | 61548fbcf71140f5f3b3c29e9d371be7 |
|
BLAKE2b-256 | 9884a39c92547a119381e7f275a5f444f98e0051f237a5c99a432cd285a1f961 |
Hashes for dreal-4.20.9.1-cp39-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9fd016dca1fe2b3a6746ca0579aaf02739cd3b4473ac9b4a417f0ab709d19172 |
|
MD5 | f3d1de3edf225365201e43c013d4936d |
|
BLAKE2b-256 | 0b6d2737c908224d263b1415c28281d11d24c89ce6bee59778b5d40d00a61c25 |
Hashes for dreal-4.20.9.1-cp38-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5ea7af53976895bb1be714468ec00bf91ac2ddd8fa6aa9b8fb2892cc14a5f60b |
|
MD5 | def5d16876a91fde341d31fd86ccb45f |
|
BLAKE2b-256 | c3b480be8e7326a7836176db412fd0935a5ae1696a0370a69588b8cee7b23f2e |
Hashes for dreal-4.20.9.1-cp38-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b24c627378e02b60b470e4806197454ebda4a4302c66a0382f139e029872c819 |
|
MD5 | 73fe6a7ee203439d3274b875be617023 |
|
BLAKE2b-256 | 0ed4626ef75dda7745383699b95d2d173c0d4afd5771330a001938888a1289cf |
Hashes for dreal-4.20.9.1-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3949ead395402c737eb53286bd98eea9cb9782b6ce1ca7ceecfd9da59a03d733 |
|
MD5 | 4c1e80b476550367be2028dab01e45f1 |
|
BLAKE2b-256 | b1df7145bbed34239789f04fa726b553924d849609c6dcc64bb81d8ebb7ab410 |
Hashes for dreal-4.20.9.1-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8e3bab0c76fac8c5a35af6ba0d7cbe16b56b688cc01edaffc0ec84fec1cb13b3 |
|
MD5 | 00b381e65b5f591da68b4ee1021076b6 |
|
BLAKE2b-256 | 5222833673abd5cd12ff558e7dbfcefeec2b99db4c02dfdaf63f361a0ffb4451 |
Hashes for dreal-4.20.9.1-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d759bb0cfd79b62b0e5d0b4d1f6c41dd334e4536ad31f645866508b6c3a0fab8 |
|
MD5 | 467e7bf07e13a7ac52e4090f1a35b74c |
|
BLAKE2b-256 | 39c2be0ffdd513976ef7e4c49b162d18a234faeb7a48ebefcf20133410fd6b39 |
Hashes for dreal-4.20.9.1-cp36-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bb7283852910d797c3ce590a0df6298e1f4497b68b0890e2d676ca8f56feb65b |
|
MD5 | 5ca4c5aa20f9ce97d771a41fb7cc9fc4 |
|
BLAKE2b-256 | 447566d0d6d12f4f3f24cacb927b3d1f331b7bed5b315172cb6e4953f11d7076 |