Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. libLogic
  5. Download

libLogic

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

Sobre libLogic

LibLogic é uma biblioteca de software para teorema automatizado que prova com a capacidade de ser inigualável para provar correta e eficientemente todas as declarações comprovadas em qualquer teoria lógica de qualquer ordem, sem ajuda humana.

Programas Relacionados

  • CMS Utilities Grátis

    cmsutils fornece programas que o ajudam a desenvolver, criar e traduzir cms (Postnuke, Xaraya, ...) módulos. Escrito em Delphi/Kylix

  • luabridge Grátis

    Luabridge é uma biblioteca leve e sem dependência para exportar funções c++ e aulas para ambientes Lua. Utiliza metaprogramação de modelo C++ padrão e está escrito contra Lua 5.1.2.

  • svgconv Grátis

    Svgconv é uma ferramenta de conteúdo para converter caminhos SVG em um formato C que pode ser facilmente usado com OpenVG.

  • Mobile StrongBOX - Data Vault Julgamento Gratuito

    A melhor aplicação de proteção de dados, Mobile StrongBOX, foi concebida para o armazenamento seguro de informações privadas, como fotos ou vídeos, palavras-passe, dados para contas bancárias, documentos e tudo o mais que q

  • embedded Finite State Machine (eFSM) Grátis

    A instalação da Máquina Estatal Finita incorporada (FSM) que pode ser usada para modelar e controlar um sistema reativo ou imponente. O sistema pode ser representado por qualquer número de estados. As transições estatais são

  • Albert Grátis

    Albert é um doc-gerador da Common Lisp, comparável a Javadoc e Doxygen. Atualmente gera documentação DocBook. Lê uma definição do sistema ASDF e documenta o sistema.

  • SETILog for Unix Grátis

    O SETILog guarda algumas estatísticas de uma unidade de trabalho de SETI@home concluída num ficheiro CSV de texto. Este ficheiro é necessário pelo SETIWatch para acompanhar as unidades de trabalho concluídas.

  • HappyDoc Grátis

    HappyDoc é uma ferramenta para extrair documentação do código fonte Python. Difere de outras aplicações deste tipo pelo facto de utilizar a árvore de parse para obter a informação e não importar o módulo.

  • OpenCL .Net Grátis

    Este projeto tenta fazer duas coisas. Em primeiro lugar, fornece ligações à API OpenCL que espelham a especificação OpenCL 1.1 o mais próxima possível. Em segundo lugar, proporciona uma abstração de nível mais elevado da API

  • PAPAS: Path Planning Algorithm Suite Grátis

    PAPAS (Path Planning Algorithms Suite) é um conjunto de algoritmos destinados ao planeamento de caminhos. Tem algoritmos comuns como PRM, RRT, Wavefront Planner, etc. A implementação é feita em língua C e o código foi desenvo