In this section, we briefly describe two related projects, the APRON project, which built on my work, and the Parma project, where the Parma Polyhedral Library PPL is implemented with the same objective - a generic and robust polyhedral interface.
