Ambiente interativo de BDD. Projeto Interativo do Ambiente BDD é uma concha como utilidade para trabalhar com ROBDDs.
Baixe Agora

Ambiente interativo de BDD. Classificação e resumo

Ambiente interativo de BDD. Tag

interativo ambiente Ambiente interativo BDD. BDD interativo Ambiente BDD

Ambiente interativo de BDD. Descrição

O Projeto Interativo do Ambiente BDD é uma concha como utilidade para trabalhar com ROBDDs. O Projeto Interativo do Ambiente BDD é um utilitário como o shell para trabalhar com o ROBDDS.IBEN é uma ferramenta usada para ensinar os diagramas binários ordenados reduzidos. Ele permite que o aluno trabalhe com o ROBDD sem aprender uma interface C ++ complexa para um pacote ROBDD. Pode-se inserir as expressões de forma interativa e visualizar o resultado como um gráfico ou fazer perguntas sobre o ROBD, como o número de nós no ROBDD.Requirements: · AFPL Ghostscript (Filial padrão) (Recomendado) · GraphViz (ramificação padrão) Recomendado) O que há de novo nesta versão: · Atualizado para Buddy Versão 2.2 · Adicionado Página Man

Ambiente interativo de BDD. Software Relacionado