Please visit the dReal4 repository on Github for installation instructions. The releases page lists pre-built binaries. For now dReach support is only available in the dReal3 releases.