Java Decision Diagram Libraries 103
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 4.0/5 - 1 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
Sobre Java Decision Diagram Libraries
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 muito mais (redes graph/automata/Petri/SAT)