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.5 / 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 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 fetchs 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 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 Distribution
Built Distributions
Hashes for dreal-4.20.4.1-cp38-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 415ff632b7ee1eb660e32a0cf01b2c7708e76c18587951fe4fac45c508666c67 |
|
MD5 | bfb6ac09be05d13acaaa8fdfe7b389d6 |
|
BLAKE2b-256 | f806f83dd736390eb18500f9b9f87775b74b54032d5a0cbd9894f9c26ccccda4 |
Hashes for dreal-4.20.4.1-cp38-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b8e00b690038b65b9ebb04a500b78d65f5277f5aed6e546fd3025d607a16d672 |
|
MD5 | aaa2a3afdf81b5cf33b904c599a48fa8 |
|
BLAKE2b-256 | ab95c8e23bd57ac30c5b5c36adf8477f3757f707bea873723d10440e907b250d |
Hashes for dreal-4.20.4.1-cp37-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 11dd66953626a904ccaa330df4be97a322511c8d89dd61291f47ac0dad75bdeb |
|
MD5 | dc3c40b61a0665d242cd88569655cc98 |
|
BLAKE2b-256 | 9f470d5101f254c7f7167e09d9efe5378009cd81ba3fd12b44cfc08aaa598c7d |
Hashes for dreal-4.20.4.1-cp37-none-macosx_10_13_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4ae267473faada5343c747e1d166f1372047a729bfac5ea3a6da11dd23e27fe2 |
|
MD5 | a3bee231f0fc7d64929acbd1acfe7b83 |
|
BLAKE2b-256 | ca83de2944eb0c781c5af56d275a152d84c7899e309e1f2f29c45b5d9f69d49a |
Hashes for dreal-4.20.4.1-cp36-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5a54b82d5de07b4c426a85be4307bf824d4bc46a9bdce8f3676be112036b185a |
|
MD5 | 1842c2a7ef5b7ba10725b46bb464e620 |
|
BLAKE2b-256 | 9ee0a11b2859f5b5203b691ef594bbf58a268066345dc30cf1d7a49d58eeaf4b |