Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. libLogic
  5. Download

libLogic

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

acerca de libLogic

libLogic es una biblioteca de software para el teorema automatizado que demuestra con la capacidad de creer-ser-inigualable para probar de manera correcta y eficiente con precisión todas las declaraciones comprobables en cualquier teoría lógica de cualquier orden, sin ayuda humana.

Programas relacionados

  • CMS Utilities Gratis

    cmsutils proporciona programas que te ayudan a desarrollar, crear y traducir módulos cms (Postnuke, Xaraya, ...). Escrito en Delphi/Kylix

  • luabridge Gratis

    Luabridge es una biblioteca ligera y sin dependencia para exportar funciones y clases de C++ a entornos Lua. Utiliza la metaprogramación de plantillas de C++ compatible con el estándar y está escrito contra Lua 5.1.2.

  • svgconv Gratis

    svgconv es una herramienta de contenido para convertir rutas SVG en un formato C que se puede utilizar fácilmente con OpenVG.

  • Mobile StrongBOX - Data Vault Prueba gratuita

    La mejor aplicación de protección de datos, Mobile StrongBOX está diseñado para el almacenamiento seguro de información privada, como fotos o videos, contraseñas, datos para cuentas bancarias, documentos y cualquier otra co

  • embedded Finite State Machine (eFSM) Gratis

    La instalación de máquina de estado finita (FSM) integrada que se puede utilizar para modelar y controlar un sistema reactivo o con estado. El sistema se puede representar mediante cualquier número de estados. Las transicione

  • Albert Gratis

    Albert es un generador de documentos para Common Lisp, comparable a Javadoc y Doxygen. Actualmente genera documentación docbook. Lee una definición del sistema ASDF y documenta el sistema.

  • SETILog for Unix Gratis

    SETILog guarda algunas estadísticas de un SETI@home unidad de trabajo completada en un archivo CSV de texto. SETIWatch necesita este archivo para realizar un seguimiento de las unidades de trabajo completadas.

  • HappyDoc Gratis

    HappyDoc es una herramienta para extraer documentación del código fuente de Python. Se diferencia de otras aplicaciones de este tipo por el hecho de que utiliza el árbol de análisis para que un módulo derive la información y

  • OpenCL .Net Gratis

    Este proyecto intenta hacer dos cosas. En primer lugar, proporciona enlaces a la API de OpenCL que reflejan la especificación OpenCL 1.1 lo más cerca posible. En segundo lugar, proporciona una abstracción de nivel superior de

  • PAPAS: Path Planning Algorithm Suite Gratis

    PAPAS (Path Planning Algorithms Suite) es un conjunto de algoritmos destinados a la planificación de rutas. Tiene algoritmos comunes como PRM, RRT, Wavefront Planner, etc. La implementación se realiza en lenguaje C y el códig