Een binaire beslissingsdiagrambibliotheek, met : vele zeer efficiënte vectorized BDD-bewerkingen, dynamische variabele herschikking, geautomatiseerde garbage collection, een C++-interface met automatisch referentietelling, en nog veel meer.
versiegeschiedenis
- Versie BuDDy%202.4 geplaatst op 2004-07-28
Verschillende oplossingen en updates - Versie BuDDy 2.4 geplaatst op 2004-07-28
Programmadetails
- Categorie: Ontwikkeling > Andere
- Publisher: buddy.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: 2.4
- Platform: linux