Programas por javabdd.sf.net
-
JavaBDD Grátis
Biblioteca java para manipular BDDs (Diagramas de Decisão Binária). Os diagramas de decisão binária são amplamente utilizados na verificação de modelos, verificação formal, diagramas de circuitos otimizadores, etc.