Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. buddy

buddy 2.4

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

Uma biblioteca binária de diagrama de decisão, com: muitas operações de BDD vetorializadas altamente eficientes, reordenamento variável dinâmico, coleta automatizada de lixo, uma interface C++ com contagem automática de referência, e muito mais.

história da versão

  • Versão BuDDy%202.4 postado em 2004-07-28
    Várias correções e atualizações
  • Versão BuDDy 2.4 postado em 2004-07-28

Detalhes do programa

Programas Relacionados

  • 1-Click Duplicates Delete (Outlook) Avaliação gratuita

    Pesquisa/exclui itens duplicados do calendário, e_mails e contatos com apenas 1 clique. Tudo pode ser desfeito. Os itens de contato não são simplesmente removidos, eles são mesclados, levando as melhores informações de cada c

  • TurboVB Avaliação gratuita

    TurboVB é uma ferramenta de complemento integrada embalada para VB6 - um grande aprimoramento do seu IDE. Ele tem mais de 40 complementos que lhe proporcionarão ganhos reais de produtividade. As horas economizadas por esta

  • gwave Livre

    Gwave é um visualizador de forma de onda para a saída de circuito eletrônico analógicosimuladores como spice. Ele exibe os dados como parcelas 2D, epermite rolagem interativa, zoom e medição doOnda.

  • Common Lisp bindings to GTK+ Livre

    clg é uma interface para o kit de ferramentas gráficas GTK+ para as implementações CMUCL, SBCL e CLISP do Common Lisp.

  • Caption It Livre

    Legenda É o melhor aplicativo de legendagem de fotos no Mercado Android! Este criador de legendas de fotos permite que você faça legendas em suas fotos e compartilhe com seus amigos.Compartilhe com o seguinte:*Facebook

  • DataSetEditor Livre

    DataSetEditor é um editor gráfico para arquivos de conjunto de dados dbUnit XML. Ele inclui um editor textual e, se o driver de banco de dados fornecido, importa layouts de tabela do banco de dados.

  • AdvancedFileBrowser Avaliação gratuita

    Por favor, experimente a versão gratuita antes de comprar.Pesquise no Mercado Android para obter "Pattern encrypt" para download gratuito da versão.Advanced File Browser é versão estendida da versão gratuita.Recursos

  • GibbsLDA++: A C/C++ Gibbs Sampling LDA Livre

    GibbsLDA++: Uma implementação C/C++ de Alocação de Dirichlet Latente (LDA) usando amostragem de Gibbs para estimativa e inferência de parâmetros. GibbsLDA++ é rápido e foi projetado para analisar estruturas de tópicos ocultos

  • DICE Grader Livre

    DICE é um sistema de avaliação on-line baseado em análise para cursos de programação C e Java. O sistema irá compilar e executar programas de alunos contra casos de teste fornecidos por instrutor e, em seguida, atribuirá uma

  • JEvaluate Livre

    Uma Biblioteca Java para analisar e evalutar expressões matemáticas, que pode lidar com valores numéricos, datas, texto e booleanos, e pode detectar referências circulares. Você também pode criar suas próprias funções, renome