Programmes par javabdd.sf.net

Bibliothèque Java pour manipuler les BDD (Diagrammes de décision binaires). Les diagrammes de décision binaires sont largement utilisés dans la vérification des modèles, la vérification formelle, l’optimisation des diagrammes