Programas por javabdd.sf.net

  • JavaBDD Livre

    Biblioteca Java para manipulação de 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, otimização de diagramas de circuito, etc.