Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. libLogic
  5. Download

libLogic

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes

Sur libLogic

libLogic est une bibliothèque logicielle pour le theorème automatisé prouvant avec la capacité considérée comme inégalée de prouver correctement et efficacement précisément toutes les déclarations démontrables dans n’importe quelle théorie logique de n’importe quel ordre, sans aide humaine.

Programmes connexes

  • CMS Utilities Gratuit

    cmsutils fournit des programmes qui vous aident à développer, créer et traduire des modules cms (Postnuke, Xaraya, ...) Écrit dans Delphi/Kylix

  • luabridge Gratuit

    Luabridge est une bibliothèque légère et sans dépendance pour l’exportation de fonctions et de classes C++ vers les environnements Lua. Il utilise la métaprogrammation du modèle C++ conforme aux normes et est écrit contre Lua

  • svgconv Gratuit

    svgconv est un outil de contenu pour convertir les chemins SVG en un format C qui peut être facilement utilisé avec OpenVG.

  • Mobile StrongBOX - Data Vault Essai gratuit

    La meilleure application de protection des données, Mobile StrongBOX est conçu pour le stockage sécurisé d’informations privées, telles que des photos ou des vidéos, des mots de passe, des données pour les comptes bancaires

  • embedded Finite State Machine (eFSM) Gratuit

    L’installation intégrée de machine d’état fini (FSM) qui peut être employée pour modéliser et contrôler un système réactif ou stateful. Le système peut être représenté par n’importe quel nombre d’États. Les transitions de l’É

  • Albert Gratuit

    Albert est un doc-générateur pour Common Lisp, comparable à Javadoc et Doxygen. Actuellement, il génère de la documentation DocBook. Il lit une définition du système ASDF et documente le système.

  • SETILog for Unix Gratuit

    SETILog enregistre quelques statistiques d’une unité SETI@home travail terminée dans un fichier CSV texte. Ce fichier est nécessaire par SETIWatch pour garder une trace des workunits terminés.

  • HappyDoc Gratuit

    HappyDoc est un outil pour extraire la documentation du code source Python. Il diffère des autres applications de ce genre par le fait qu’il utilise l’arbre de parse pour un module pour obtenir l’information et n’importe pas

  • OpenCL .Net Gratuit

    Ce projet tente de faire deux choses. Tout d’abord, il fournit des liaisons à l’API OpenCL qui reflètent la spécification OpenCL 1.1 aussi étroitement que possible. Deuxièmement, il fournit une abstraction de niveau supérieur

  • PAPAS: Path Planning Algorithm Suite Gratuit

    PAPAS (Path Planning Algorithms Suite) est un ensemble d’algorithmes destinés à la planification des trajectoires. Il a des algorithmes communs comme PRM, RRT, Wavefront Planner, etc. La mise en œuvre se fait en langage C et