Programmes par bddcompression.sf.net

Un algorithme de compression et de décompression des diagrammes de décision binaires réduira dans de nombreux cas la taille du BDD à 1-2 bits par nœud.