libLogic
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://liblogic.cvs.sourceforge.net/liblogic
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