- Laboratoire d’informatique Tous les 25 du mois, le LIP6 soutient la « Journée Orange » contre les violences faites aux femmes !

MoVe : Bibliothèque de manipulation des Data Decision Diagrams

Équipe : MoVe

La 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-MIEG
http://ddd.lip6.fr