Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. Interactive BDD Environment

Interactive BDD Environment 1.1

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos
Download

IBEN é o ambiente BDD interativo. Ele permite que você declare, manipule e visualize diagramas de decisão binárias ordenados reduzidos (ROBDDs). Ele foi projetado como uma ferramenta de aprendizagem, embora seja útil sempre que você precisa manipular BDD interativamente e

história da versão

  • Versão 1.1 postado em 2003-03-25
    Várias correções e atualizações
  • Versão 1.1 postado em 2003-03-25

Detalhes do programa

Programas Relacionados

  • OnlineExam Livre

    Um sistema de exame on-line baseado na Web. Os estudantes podem fazer login para fazer os exames e os administradores podem fazer login para definir os exames. Todo o sistema é desenvolvido em java e faz uso de suportes.

  • VKS Livre

    VKS (Vikar Korps System) é um aplicativo web completo e bem testado para administrar temporários, clientes e agenciamento de chamadas em uma agência temporária.

  • Disease Gene Profiler Livre

    O Disease Gene Profiler (DGP) é composto por um conjunto de ferramentas (bioinformáticas) que podem ser usadas para identificar os genes subjacentes à suscetibilidade a doenças multifatoriais comuns (como diabetes, asma e cân

  • Address to Congress Feb 2009 Avaliação gratuita

    O texto do discurso do presidente Obama ao Congresso em 24 de fevereiro de 2009. Um tempo histórico.Também publicamos o *Discurso Inaugural do Presidente Obama EUA 2009* e um discurso sobre exploração espacial em 2010.

  • Kid App: Learn 1,000 Words Livre

    Aprenda 1.000 Palavras em Inglês - Aplicativos para Crianças: Tudo em 1 Você está procurando o aplicativo perfeito para se ensinar inglês? Você aprenderá a ler e escrever em inglês. Não procure mais, porque Kid Apps: All in 1

  • sMArTH Livre

    sMArTH é um editor de equações alimentado por SVG e ECMAScript para MathML e LaTeX

  • MGTAXA Livre

    O código-fonte e o desenvolvimento deste projeto foram transferidos para o GitHub em http://github.com/andreyto/mgtaxa

  • LexiTools Reminder Livre

    Programa para pessoas de língua polonesa. Apoio no aprendizado de palavras em inglês. Parte do Projeto LexiTools. Programa dla uytkownikw polsko-jzycznych. Wspomaga uczenie si sw jzyka angielskiego. Cz projektu LexiTools.

  • ChesROMS Livre

    ChesROMS está desenvolvendo um modelo roms da Baía de Chesapeake para ajudar na previsão de Flores Algas Nocivas. Esperamos catalisar um novo método de modelagem comunitária com envolvimento além dos principais pesquisadores

  • HuRef Genome Browser Livre

    O HuRef Genome Browser é um recurso da Web para a navegação de um genoma humano individual, chamado HuRef, publicado na PLoS Biology. O navegador é uma estrutura unificada de ferramentas de anotação, montagem e sintetização.