Vérification Symbolique à l'Aide de Diagrammes de Décision
J’ai développé et je distribue la libDDD, une bibliothèque C++ efficace permettant la manipulation des diagrammes de décision hiérarchique : les SDD.
La présentation de la libDDD est sur Page de description
Le projet est ici GitHub
