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

bddbddb: BDD-Based Deductive Database

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 5.0/5 - ‎1 ‎votos
Baixar

Base de Dados Dedutivo Baseado em BDD, uma implementação do Datalog que utiliza diagramas de decisão binária como estrutura de dados subjacente. Isto permite-lhe representar 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 Grátis

    PPFN, é também uma ferramenta a ser escondida de qualquer registo de servidor, estes desenvolvedores sabem o que têm de fazer. Se você baixar este pacote final você poderá desfrutar da web sabendo que você estaria seguro. Ent

  • XBMC / Boxee Remote Grátis

    Telecomando para XBMC / Boxee.POR FAVOR DESINSINSTALE V1.0!!!v3.1* Suporte de perfis nas preferênciasv2.2* Pequena correção de insetosv2.1* Pequena correção de insetos para fazê-lo funcionar com o Windows XBMC

  • jDTAUS Grátis

    Implementação java do formato de ficheiro alemão DTAUS. Suporta ler, adicionar, editar, eliminar operações e registos de extensão. Está disponível uma aplicação GUI que demonstra todas as funcionalidades disponíveis. Veja as

  • Alligator Snap Julgamento Gratuito

    Junte as suas próprias páginas em 3 passos fáceis. Você não precisa de nenhuma experiência anterior - Alligator Snap vem com modelos web pré-desenhados e montes de grandes funcionalidades. Modelos adicionais podem ser descarr

  • Mayur Linux Grátis

    O sistema operativo Mayur Linux baseia-se no núcleo LinuxPAE64 que permite que os binários x86-64 funcionem num sistema operativo de 32 bits se o processador for compatível com x86-64.

  • RIDGID Digital Bubble Level Julgamento Gratuito

    O Nível de Bolha Digital ® RIDGID dispõe de três frascos para a plataforma plumb, nível e 45°. Existe uma funcionalidade de som opcional que lhe permite determinar audivelmente os seus resultados para situações em que não co

  • CNC GCODE Coordinate Transposition Tool Grátis

    Esta ferramenta Python 3.1 manipula o sistema de coordenadas do CNC GCODE para maquinação ou gravura. Pode as coordenadas Flip X, Y ou Z, as coordenadas mirror X, Y ou Z, inverter ou espelhar ambas as coordenadas XY ou inseri

  • Cell Messaging Layer Grátis

    A Camada de Mensagens Celulares é uma biblioteca de comunicação semelhante a MPI extremamente rápida para clusters de processadores de motores de banda larga celular. Com ele, qualquer elemento de processamento sinérgico celu

  • cccl Grátis

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

  • C/C++ Program Perfometer Grátis

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