Submit Software
  1. Home
  2. Windows
  3. Other
  4. libLogic

libLogic

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

libLogic is a software library for automated theorem proving with the believed-to-be-unequalled ability to correctly and efficiently prove precisely all provable statements in any logical theory of any order, with no human aid.

VERSION HISTORY

  • Version N/A posted on 2011-08-12
    Several fixes and updates
  • Version N/A posted on 2011-08-12

Program Details

Related Programs

  • CMS Utilities Free

    cmsutils provides programs that help you develop, create and translate cms (Postnuke, Xaraya, ...) modules. Written in Delphi/Kylix

  • luabridge Free

    Luabridge is a lightweight, dependency-free library for exporting C++ functions and classes to Lua environments. It uses standard-compliant C++ template metaprogramming and is written against Lua 5.1.2.

  • svgconv Free

    svgconv is a content tool to convert SVG paths into a C format that can be easily used with OpenVG.

  • Mobile StrongBOX - Data Vault Free Trial

    The best data protection application, Mobile StrongBOX is designed for the secure storage of private information, such as photos or videos, passwords, data for bank accounts, documents and anything else you want to protect. T

  • embedded Finite State Machine (eFSM) Free

    The embedded Finite State Machine (FSM) Facility that can be used to model and control a reactive or stateful system. The system can be represented by any number of states. State transitions are driven by a number of events.

  • Albert Free

    Albert is a doc-generator for Common Lisp, comparable to Javadoc and Doxygen. Currently it generates DocBook documentation. It reads an ASDF system definition and documents the system.

  • SETILog for Unix Free

    SETILog saves some statistics of a completed SETI@home work-unit in a text CSV file. This file is needed by SETIWatch to keep track of the completed workunits.

  • HappyDoc Free

    HappyDoc is a tool for extracting documentation from Python source code. It differs from other such applications by the fact that it uses the parse tree for a module to derive the information and does not import the module.

  • OpenCL .Net Free

    This project attempts to do two things. First, it provides bindings to the OpenCL API that mirror the OpenCL 1.1 spec as closely as possible. Second, it provides a higher level abstraction of the API that's more .Net-like.

  • PAPAS: Path Planning Algorithm Suite Free

    PAPAS (Path Planning Algorithms Suite) is a set of algorithms intended for path planning. It has common algorithms like PRM, RRT, Wavefront Planner, etc. The implementation is done in C language and the code has been develope