Descrição
Fornece uma biblioteca de diagramas de decisão binária para representar e manipular funções booleanas com eficiência. É usada em verificação, síntese, métodos formais e softwares com muita lógica.
Instale ao desenvolver ou executar ferramentas que dependem do Buddy. É uma biblioteca especializada, não um editor gráfico de diagramas.