Programas por bdd-tree.sf.net
-
Binary Decision Diagram Livre
produzir pacote de software completo usando a representação do diagrama de decisão binária (BDD) para manipular mapas lógicos para objetivos de otimização de design multiplicadores{like(A+B)(C)(D)}Em C++ Core.C++ GUI. Módulos