Reverse Dependencies of dreal

The following projects have a declared dependency on dreal:

• funman-dreal — Functional Model Analysis Tool - DReal Package