homebrew-dreal

Homebrew tap for dReal4

How to Install

brew tap dreal/dreal
brew install dreal

Run brew upgrade dreal to get the latest version of dReal after installation.

How to Maintain

./build_and_create_bottle.sh