UNB Theorem Prover?

Programmes connexes

• fastAOP Gratuit

  FastAOP est un cadre AOP (Aspect Oriented Programming) très performant pour java. Le cadre a d’abord été développé pour prendre en charge le profilage et la surveillance des performances pour les grandes applications J2EE a

• Butterfly Code Generator Gratuit

  Butterfly est un générateur de code simple utilisant XMI comme l’entrée et les modèles XSLT pour générer n’importe quel type de code. Plusieurs modèles sont fournis, y compris EJB, JDO et Struts. Les utilisateurs peuvent uti

• Neural network designer Gratuit

  Ce projet se compose d’une application de concepteur basée sur windows et d’une bibliothèque (qui peut fonctionner sur plusieurs plates-formes, y compris Android) ainsi que de plusieurs applications de démonstration (y compri

• DL-Learner Gratuit

  DL-Learner est un outil d’apprentissage des concepts dans Description Logics (DLs) à partir d’exemples fournis par l’utilisateur. De même, il peut être utilisé pour apprendre des cours d’ontologie owl à partir d’objets sélect

• MakeEmbeddedRootfilesystem Gratuit

  Makerootfs facilite la construction d’un système de fichiers racine pour les périphériques embarqués (par exemple basé sur ARM) en automatisant le processus de compilation croisée à travers des scripts shell, des correctifs e

• VCS Agents and Tools Gratuit

  L’objectif de ce projet est de fournir des plugins ("agents") pour le serveur de cluster Veritas sur une base Open Source.

• Etnia Workbench Gratuit

  Extensions du projet CDT qui configurent des compilateurs supplémentaires et d’autres plugins pour intégrer divers plattformes (en fait des microprocesseurs Texas Instrument & PIC)

• Steini\'s Mini Compiler Gratuit

  Steini \'s Mini Compiler est un compilateur rapide DOS 16 bits. S’il vous plaît aider à améliorer le langage de programmation écrit de nouvelles commandes. Le compilateur utilise un ensemble de fichiers d’assemblage pour le p

• JCustomizer Gratuit

  La cible du projet JCustomizer est la personnalisation générique et persistante de chaque interface graphique Java Swing/AWT à l’heure d’exécution : polices, couleurs, textes, accélérateurs, ... Un bel accompagnement est un a

• net.sourceforge.ajstruts Gratuit

  Le code source d’un article (http://ajstruts.sf.net) publié en 11/2003 dans le magazine allemand "Java Magazin" montre comment adapter les libs tiers (par exemple les jambes de force) aux besoins du projet et facili