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 11.0 / 10.15 / 10.14 + CPython 3.7
- Linux + CPython 3.6 / 3.7 / 3.8 / 3.9
You still need to install dReal prerequisites such as IBEX and CLP in your system. To install them, please follow the instructions below:
macOS 11.0 / 10.15 / 10.14
brew tap dreal-deps/ibex
brew tap dreal/dreal
brew install dreal --only-dependencies
Ubuntu 20.04 / 18.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 11.0 / 10.15 / 10.14
brew tap dreal-deps/ibex
brew tap dreal/dreal
brew install dreal --only-dependencies --build-from-source
Ubuntu 20.04 / 18.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.21.6.2-cp311-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 95c5d7ddce29a354796832c92ae23a4417e3bae3f5994ad21579a1f87bad1c09 |
|
MD5 | 2eecd7df19c4e86fcba76a5d4138cd9c |
|
BLAKE2b-256 | 2ccb6082351a9cb6a22da1c3873c52c7786f156997d649bc213a52407fddef2a |
Hashes for dreal-4.21.6.2-cp310-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 936759fb2990fd4cf516b3fdbe119418777cbd2507d503f7eb4bab075c5216bc |
|
MD5 | 2c9864bad2f464eeedf3c40b4f3ed90f |
|
BLAKE2b-256 | a843229cc22d8ffb9bab43d94ff5b9af664c786e0367aa0ab0119b672284451b |
Hashes for dreal-4.21.6.2-cp39-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0aa11d410e64dd97b47c5e704e36b94659740f66507ecd6f170e31e68ff879c1 |
|
MD5 | 391c3feac39164b90ef39b709bf14b07 |
|
BLAKE2b-256 | f52b3efe5e2724a8d03c490c4517f692a5f9b7ec0bf65965737a9a0b4c757cc2 |
Hashes for dreal-4.21.6.2-cp39-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 23038b65853d3d543f61328718f71fd749925e0841f9643564ecb2bb541d8c76 |
|
MD5 | 7e9bf7dd2caa610d52963de0aa5db7a1 |
|
BLAKE2b-256 | d4def5642a3dff2aa03fe47f72f36ad10f134dbecceab7402277f0c9f5da2882 |
Hashes for dreal-4.21.6.2-cp38-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 40b79499867c422e23addae8d1c41fef916a87583b19334c3487a4fa96bf2257 |
|
MD5 | 8974de282bd48be0459b8f5669ea3ab0 |
|
BLAKE2b-256 | 1466a205bc2b554bf1d08e853d6a6e7e9e3aedfcfd4cd78f3d95b916790a5162 |
Hashes for dreal-4.21.6.2-cp38-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 56697bd1a795b366b7fc4eef3c2466e6bd353866abbc0af1d900e56d14a50699 |
|
MD5 | 8f762ec2542fb3f2d10512ea64be2227 |
|
BLAKE2b-256 | eaf7d0e7fea5f94de5ee7ddbe7056383910b71bcee39c31f6316045f84116192 |
Hashes for dreal-4.21.6.2-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ef9dd5ad60d6e38c19af6b6811e7acb725b66b1bfe2fdc45108743cbb1e0b043 |
|
MD5 | 2f4be12bced0eee2520105009a2b9795 |
|
BLAKE2b-256 | d37e3af76d21a35f7b49cb9dc79f59c460b2c173dd0d17f7cdcf35b52ef7aafa |
Hashes for dreal-4.21.6.2-cp37-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 178e4df49348fac5a7d306f906815c8c085e4787476a00317e09a6f5e6e2dc3d |
|
MD5 | 2bef13b534d6f4f9b7a9aa843c4f9bf3 |
|
BLAKE2b-256 | 5bd67d01aba5500b384ecc045dec17cbdb972c745317d5452cb99d27650e9d9d |
Hashes for dreal-4.21.6.2-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b671938de141791fb989d3fa088f6487afb6e6669dd58272c1a0295173751ba9 |
|
MD5 | 7899db7aae851d40c11fc079cdfd5dc9 |
|
BLAKE2b-256 | 155e1941c695baf59f819bbd4a03721126f266138a8e54a7c60245da10d720d9 |
Hashes for dreal-4.21.6.2-cp36-none-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8d914964dc9bd0d9c003490c16c2d937ca6f63b7b91f93ff225fc25fa296bfe0 |
|
MD5 | d9822bccf6f5d56d0c1b208f33e5bd36 |
|
BLAKE2b-256 | ed3436ab6a71291a6dc1b93877c70da9870b0cc9a04333a1ad10b774d140539a |