BDD Buddy BDD Buddy is een binaire beslissingsdiagrambibliotheek.
Download nu

BDD Buddy Rangschikking & Samenvatting

BDD Buddy Tags

binair buddy BDD Binaire beslissing Diagrambibliotheek BDD operaties

BDD Buddy Beschrijving

BDD Buddy is een binaire beslissingsdiagrambibliotheek. BDD Buddy is een binaire beslissingsdiagrambibliotheek, met: veel zeer efficiënte Vectorized BDD-operaties, dynamische variabele herreken, geautomatiseerde Garbage-collectie, een C ++ -interface met automatisch referentietellen, en nog veel meer. Het hier gepresenteerde BDD-pakket werd gemaakt als onderdeel van een doctoraat Project op modelcontrole van eindige staatsmachines van Jrn Lind-Nielsen. Het pakket is geëvolueerd van een eenvoudige introductie tot BDD's tot een volledig geblazen BDD-pakket met alle standaard BDD-operaties, herordening en een schat aan documentatie. Het pakket is extreem eenvoudig te gebruiken; Voor C / C ++ -programma's neemt u alleen op "BDD.H" en koppeling met "BDD" en dan bent u klaar. Met de C ++ -interface hoeft u niet eens na te denken over referenties tellen en garbage collectie. Wat is er nieuw in deze release: · Gebruik van het configureren van script voor het buildproces. · Runregressie-script toevoegen dat voorbeelden wordt uitgevoerd en vergelijken met verwachte resultaten.

BDD Buddy Gerelateerde software