Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. JavaBDD
  5. Download

JavaBDD 0.6

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

Sobre JavaBDD

Biblioteca Java para manipulação de BDDs (Diagramas de Decisão Binária). Os diagramas de decisão binária são amplamente utilizados na verificação de modelos, verificação formal, otimização de diagramas de circuito, etc.

Programas Relacionados

  • Jonathan Livre

    Jonathan - Deus Dado. Jonathan é muito parecido com os programas de leitura da Bíblia disponíveis atualmente, com uma diferença. Com Jonathan, você pode ler outros textos espirituais que estão fora da Bíblia. Jonathan espera

  • Lg nyelv Livre

    Uma implementação mínima do logotipo. Principalmente para crianças de 8 a 14 anos.Fácil de usar. Os primeiros lançamentos funcionam apenas em língua húngara.

  • WxMAP2 Livre

    Um sistema baseado em píton para diagnosticar e fazer mapas meteorológicos (wxmap) de modelos numéricos de previsão do tempo usando o Grid Analysis and Display System (GrADS) de opengrads.org

  • Two Line Calculator Livre

    Esta é uma calculadora gtk com duas linhas e uma seção para tomar notas. O objetivo é criar uma calculadora que será o único programa que você precisará ao fazer aritmética. O produto está atualmente na fase alfa.

  • Squeebles Multiplication 1 Avaliação gratuita

    NOTA: A partir de julho de 2013, este aplicativo foi substituído pelo Squeebles Times Tables 2 - agora disponível para Android. Ele inclui mais horários de tabelas de modos de jogo, um novo sistema de recompensa e muito mais

  • AIEEE Papers Avaliação gratuita

    Compre papéis resolvidos da AIEEE, papéis de teste simulados, papéis modelo, guias e materiais preparatórios on-line na www.dishapublication.com/books/upcoming-exam.html. Oferecemos livros de melhor qualidade para engenharia

  • Speak Spanish in 12 days Free Avaliação gratuita

    Fale espanhol em apenas 12 dias. Este aplicativo permitirá que você aprenda espanhol muito rápido. AS AULAS SÃO EM INGLÊSTer este curso em seu dispositivo móvel lhe oferecerá a possibilidade de aprender em qualquer lug

  • Tamil Recipe Lite Avaliação gratuita

    O sul da Índia é igualmente famoso pela disponibilidade de coco, uma grande variedade de peixes e tubérculos radiculares. A comida do sul da Índia é principalmente arroz, que o povo do sul da Índia adora ter com uma combina

  • CanTherm Livre

    Este software pode ser usado para calcular quantidades termoquímicas e cinéticas como, entalpia, entropia, capacidade de calor e mudança de estado de taxa de constantes de dados espectroscópicos/quânticos.

  • HWave Livre

    O objetivo deste programa é traçar as formas de onda da função de onda de hidrogênio. O programa tem 4 opções. Primeiro, plotando a função radial, segundo, plotando a probabilidade radial, terceira função de onda 2d, última,