Up


Apron
APRON library
Cudd
Interface to CUDD library
Bdd
Finite-type expressions/properties on top of CUDD
Bddapron
Finite \& numerical expressions/properties on top of CUDD \& APRON

Camllib library