DDD : 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
 Mentions légales
Carte du site |