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 riferimenti, e molto altro ancora.
cronologia delle versioni
- Versione BuDDy%202.4 pubblicato il 2004-07-28
Diverse correzioni e aggiornamenti - Versione BuDDy 2.4 pubblicato il 2004-07-28
Dettagli del programma
- Categoria: Sviluppo > Altro
- Editore: buddy.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 2.4
- Piattaforma: linux