DDD : Bibliothèque de manipulation des Data Decision Diagrams
Équipe : MoVeLa libDDD est une bibliothèque de manipulation des Data Decision Diagrams et des Hierarchical Set Decision Diagrams. Elle supporte flexiblement des types de données complexes et las algorithmes de "saturation", offrant à ses utilisateurs des performances au sommet de l'état de l'art. Cette bibliothèque C++ est distribué sous les termes de la LGPL de Gnu.
Responsable : Yann THIERRY-MIEGhttp://ddd.lip6.fr