Programmi di buddy.sf.net

Una libreria binaria di diagrammi decisionali, con :molte operazioni BDD vettoriali altamente efficienti,riordino variabile dinamico,garbage collection automatizzata,un'interfaccia C++ con conteggio automatico dei rif