Programmi di javabdd.sf.net

Libreria Java per la manipolazione di BDD (Binary Decision Diagrams). I diagrammi decisionali binari sono ampiamente utilizzati nel controllo del modello, nella verifica formale, nell'ottimizzazione dei diagrammi dei circuiti