Java-bibliotheek voor het manipuleren van BDD's (Binaire beslissingsdiagrammen). Binaire beslissing diagrammen worden veel gebruikt in model controle, formele verificatie, het optimaliseren van circuit diagrammen, enz.
versiegeschiedenis
- Versie 0.6%20Win32%20binary geplaatst op 2005-05-09
Verschillende oplossingen en updates - Versie 0.6 Win32 binary geplaatst op 2005-05-09
Programmadetails
- Categorie: Onderwijs > Andere
- Publisher: javabdd.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: 0.6
- Platform: linux