dreal 4.20.12.1

SMT Solver for Nonlinear Theories of Reals

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 / 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 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 / 16.04

curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh | sudo bash