JavaBDD 0.6
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 4.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa JavaBDD
Libreria Java per la manipolazione di BDD (Binary Decision Diagrams). I diagrammi decisionali binari sono ampiamente utilizzati nel controllo del modello, nella verifica formale, nell'ottimizzazione dei diagrammi dei circuiti, ecc.