Biblioteca java para manipular 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, diagramas de circuitos otimizadores, etc.
história da versão
- Versão 0.6%20Win32%20binary postado em 2005-05-09
Várias correções e atualizações - Versão 0.6 Win32 binary postado em 2005-05-09
Detalhes do programa
- Categoria: Educação > Outros
- Editor: javabdd.sf.net
- Licença: Grátis
- Preço: N/A
- Versão: 0.6
- Plataforma: linux