Programas por javaddlib.sf.net

Este projeto contém duas bibliotecas diferentes de Diagramas de Decisão Binária (BDD): JBDD: uma interface Java para duas bibliotecas BDD populares, CUDD e BuDDy. JDD: uma biblioteca java nativa que suporta BDD, Z-BDD e muito