Buddy BDD. BDD Buddy é uma biblioteca de diagrama de decisão binária.
Baixe Agora

Buddy BDD. Classificação e resumo

Buddy BDD. Tag

binário companheiro BDD. Decisão Binária Biblioteca do diagrama Operações de BDD.

Buddy BDD. Descrição

Bdd Buddy é uma biblioteca de diagrama de decisão binária. BDD Buddy é uma biblioteca de diagrama de decisão binária, com: muitas operações de BDD vectorized altamente eficientes, reordenamento de variáveis dinâmicas, coleta de lixo automatizada, uma interface C ++ com contagem automática de referência, e muito mais. O pacote BDD apresentado aqui foi feito como parte de um PhD Projeto na verificação do modelo de máquinas de estado finito por JRN Lind-Nielsen. O pacote evoluiu de uma simples introdução para o BDDs para um pacote BDD completo com todas as operações padrão do BDD, reordenando e uma riqueza de documentação. O pacote é extremamente simples de usar; Para programas C / C ++, você inclui apenas "bdd.h" e link com "BDD" e, em seguida, você está funcionando. Com a interface C ++, você nem precisa pensar em contagem de referência e coleta de lixo.O que é novo nesta versão: · Usando configurar script para o processo de compilação. · Adicionando script de rastreamento que executa exemplos e compare os resultados esperados.

Buddy BDD. Software Relacionado