libLogic
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://liblogic.cvs.sourceforge.net/liblogic
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