Descrição
Fornece bibliotecas e ferramentas para trabalhar com Diagramas de Decisão Binária e estruturas de decisão semelhantes. Essas estruturas representam funções lógicas de forma compacta em softwares de verificação, síntese, otimização e pesquisa.
A maioria dos usuários de desktop não interage com ele diretamente. É mais útil para desenvolvedores, pesquisadores ou programas que precisam manipular lógica simbólica.