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.
historique de la version
- Version Source%20Files%20%2B%20Paper posté sur 2009-03-22
Plusieurs correctifs et mises à jour - Version N/A posté sur 2009-03-22
Détails du programme
- Catégorie: Utilitaires système > Autres
- Éditeur: bddcompression.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: Array
- Plate-forme: windows