Reverse Dependencies of funman

The following projects have a declared dependency on funman:

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