Programas por javaddlib.sf.net

Este projeto contém duas diferentes bibliotecas de diagramas de decisão binária (BDD): JBDD: uma interface java para duas bibliotecas populares de BDD, CUDD e BuDDy. JDD: uma biblioteca java nativa que suporta BDD, Z-BDD e mu