Programy według javabdd.sf.net
-
JavaBDD Wolna
Biblioteka Java do manipulowania dyskami BDD (Binary Decision Diagrams). Binarne diagramy decyzyjne są szeroko stosowane w sprawdzaniu modelu, weryfikacji formalnej, optymalizacji schematów obwodów itp.