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.
cronologia delle versioni
- Versione 0.6%20Win32%20binary pubblicato il 2005-05-09
Diverse correzioni e aggiornamenti - Versione 0.6 Win32 binary pubblicato il 2005-05-09
Dettagli del programma
- Categoria: Istruzione > Altro
- Editore: javabdd.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 0.6
- Piattaforma: linux