BDD Buddy. BDD Buddy è una libreria diagramma decisionale binaria.
Scarica ora

BDD Buddy. Classifica e riepilogo

BDD Buddy. Tag

binario compagno BDD Decisione binaria Biblioteca del diagramma operazioni BDD

BDD Buddy. Descrizione

BDD Buddy è una biblioteca diagramma decisionale binaria. BDD Buddy è una libreria diagramma decisionale binaria, con: molte operazioni BDD vectorializzate altamente efficienti, riordino della variabile dinamica, raccolta di rifiuti automatizzata, un'interfaccia C ++ con conteggio automatico di riferimento, e molto altro. Il pacchetto BDD è stato effettuato come parte di un dottorato Progetto sul controllo del modello di macchine da stato finito di JRN Lind-Nielsen. Il pacchetto si è evoluto da una semplice introduzione a BDDS a un pacchetto BDD completato con tutte le operazioni BDD standard, riordinare e una ricchezza di documentazione. Il pacchetto è estremamente semplice da usare; Per i programmi C / C ++ includi semplicemente "BDD.H" e collegarsi con "BDD" e quindi sei in funzione. Con l'interfaccia C ++ non devi nemmeno pensare al conteggio di riferimento e alla raccolta dei rifiuti. Che cosa è nuovo in questa versione: · Utilizzo di Configura script per il processo di build. · Aggiunta di script di runregression che esegue esempi e confronta i risultati previsti.

BDD Buddy. Software correlato