This issue documents the addition of dReal to JavaSMT by @juliusbrehme.
Problems are discussed and/or documented here if necassary.