Ubuntu/Debian

We provide a PPA for Ubuntu 12.04 LTS (precise), 14.04 LTS (trusty), 15.10 (wily), and 16.10(xenial). At this time, it only supports amd64 architectures. Run the following commands on a terminal to install dReal:

sudo apt-get install -y python-software-properties  # only for 12.04 to have add-apt-repository
sudo add-apt-repository -y ppa:dreal/dreal
sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test
sudo apt-get update
sudo apt-get install -y dreal

To upgrade dReal to the latest version, run:

sudo apt-get update
sudo apt-get upgrade dreal

This page provides detailed information about the packages. It also provides with Debian packages.

OS X

We support homebrew, a package manager for OSX. If you are running OS X 10.10 (Yosemite) or OS X 10.11 (El Capitan), please run the following commands on a terminal to install dReal:

brew tap dreal/dreal    # tap to github.com/dreal/homebrew-dreal
brew update
brew install dreal

If you are running an older version of OS X (<= 10.9), please run the following commands to build dReal:

brew tap dreal/dreal    # tap to github.com/dreal/homebrew-dreal
brew update
brew install dreal --cc=gcc-5

To upgrade dReal to the latest version, run:

brew update
brew upgrade dreal

Binary Releases

Please visit our releases page at Github.

Source Code

You can download the source code of dReal. Please read the following instructions to build dReal: