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

bddbddb: BDD-Based Deductive Database

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos
Descargar

Base de datos deductiva basada en BDD, una implementación de Datalog que utiliza diagramas de decisión binarios como estructura de datos subyacente. Esto le permite representar relaciones de tamaño exponencial de manera eficiente.

historial de versiones

  • Versión N/A publicado en 2011-08-06
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-08-06

Detalles del programa

Programas relacionados

  • Proxy Pal For Networks Gratis

    PPFN, también es una herramienta para estar oculto de cualquier registro del servidor, estos desarrolladores saben lo que tienen que hacer. Si descargas este paquete definitivo podrás disfrutar de la web sabiendo que estarías

  • XBMC / Boxee Remote Gratis

    Mando a distancia para XBMC / Boxee.POR FAVOR DESINSINSTALE v1.0!!!v3.1* Soporte de perfiles en preferenciasv2.2* Corrección de errores menoresv2.1* Corrección de errores menores para que funcione con Windows XB

  • jDTAUS Gratis

    Implementación Java del formato de archivo DTAUS alemán. Admite operaciones de lectura, adición, edición, eliminación y registros de extensión. Una aplicación GUI está disponible demostrando todas las características disponib

  • Alligator Snap Prueba gratuita

    Reúne tus propias páginas web en 3 sencillos pasos. No necesitas ninguna experiencia previa: Alligator Snap viene con plantillas web prediseñadas y un montón de excelentes características. Las plantillas adicionales se pueden

  • Mayur Linux Gratis

    El sistema operativo Mayur Linux se basa en el kernel LinuxPAE64 que permite que los binarios x86-64 se ejecuten en un sistema operativo de 32 bits si el procesador es compatible con x86-64.

  • RIDGID Digital Bubble Level Prueba gratuita

    El nivel de burbuja digital RIDGID® cuenta con tres viales para plomada, nivel y 45 élo. Hay una función de sonido opcional que le permite determinar audiblemente los resultados para situaciones en las que no puede ver la pa

  • CNC GCODE Coordinate Transposition Tool Gratis

    Esta herramienta Python 3.1 manipula el sistema de coordenadas de CNC GCODE para el mecanizado o el grabado. Puede voltear coordenadas X, Y o Z, reflejar coordenadas X, Y o Z, voltear o reflejar ambas coordenadas XY, o insert

  • Cell Messaging Layer Gratis

    Cell Messaging Layer es una biblioteca de comunicaciones extremadamente rápida y similar a MPI para clústeres de procesadores de motores de banda ancha celular. Con él, cualquier elemento de procesamiento sinérgico (SPE) celu

  • cccl Gratis

    cccl es un contenedor alrededor de cl.exe y link.exe de Microsoft Visual C++. Convierte los parámetros de línea de comandos del compilador Unix en los parámetros equivalentes para cl y link.

  • C/C++ Program Perfometer Gratis

    El programa permite obtener el rendimiento del programa C/C++ y separar fragmentos de código para cualquier métrica (por ejemplo: tiempo, memoria, métricas definidas por el usuario, etc.). Los resultados de la medición se rep