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
