Programma's van javabdd.sf.net

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.