Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. bddbddb: BDD-Based Deductive Database

bddbddb: BDD-Based Deductive Database

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

Banco de dados dedutivo baseado em BDD, uma implementação do Datalog que usa diagramas de decisão binários como a estrutura de dados subjacente. Isso permite que ele represente relações de tamanho exponencial de forma eficiente.

história da versão

  • Versão N/A postado em 2011-08-06
    Várias correções e atualizações
  • Versão N/A postado em 2011-08-06

Detalhes do programa

Programas Relacionados

  • Proxy Pal For Networks Livre

    PPFN, também é uma ferramenta para ser ocultado de qualquer log de servidor, esses desenvolvedores sabem o que têm que fazer. Você? Se você baixar este pacote final, você poderá desfrutar da web sabendo que você estaria segur

  • XBMC / Boxee Remote Livre

    Controle remoto para XBMC / Boxee.POR FAVOR, DESINSTALAR v1.0!!!v3.1* Suporte de perfis em preferênciasv2.2* Correção de bug menorv2.1* Correção de bugs menores para fazê-lo funcionar com janelas XBMCv2.0* Í

  • jDTAUS Livre

    Implementação java do fileformat DTAUS alemão. Suportes para ler, adicionar, editar, excluir operações e registros de extensão. Um aplicativo de GUI está disponível demonstrando todos os recursos disponíveis. Veja as imagens.

  • Alligator Snap Avaliação gratuita

    Misture suas próprias páginas web em 3 passos fáceis. Você não precisa de nenhuma experiência prévia - Alligator Snap vem com modelos web pré-projetados e um monte de ótimos recursos. Modelos adicionais podem ser baixados e i

  • Mayur Linux Livre

    O sistema operacional Mayur Linux é baseado no kernel LinuxPAE64 que permite que binários x86-64 seja executado em um sistema operacional de 32 bits se o processador for compatível x86-64.

  • RIDGID Digital Bubble Level Avaliação gratuita

    O RIDGID® Digital Bubble Level possui três frascos para encanamento, nível e 45° de miter. Há um recurso de som opcional que permite determinar audivelmente seus resultados para situações em que você não pode visualizar a te

  • CNC GCODE Coordinate Transposition Tool Livre

    Esta ferramenta Python 3.1 manipula o sistema de coordenadas do CNC GCODE para usinagem ou gravação. Ele pode as coordenadas Flip X, Y ou Z, espelhar coordenadas X, Y ou Z, virar ou espelhar ambas as coordenadas XY ou inserir

  • Cell Messaging Layer Livre

    A camada de mensagens de celular é uma biblioteca de comunicação extremamente rápida, semelhante a MPI, para clusters de processadores Cell Broadband Engine. Com ele, qualquer elemento de processamento sinérgico celular (SPE)

  • cccl Livre

    cccl é um invólucro em torno do cl.exe e link .exe do Microsoft Visual C++. Ele converte parâmetros da linha de comando do compilador Unix nos parâmetros equivalentes para cl e link.

  • C/C++ Program Perfometer Livre

    O programa permite obter desempenho do programa C/C++ e peças de código separadas para quaisquer métricas (por exemplo: tempo, memória, métricas definidas pelo usuário etc.). Os resultados da medição estão representados em re