Obtenez gratuitement Prover9-Mace4 0.5 dans notre logithèque. Ce logiciel PC gratuit a été développé pour fonctionner sur Windows XP/Vista/7/8/10/11 dans sa version 32-bit. Prover9-mace4.exe est le nom classique pour le fichier d'installation du programme.
Ce logiciel gratuit a été à l'origine développé par UNM. Parmis les utilisateurs de ce programme, la version la plus téléchargée est la version 0.5. Le dernier packet d'installation disponible au téléchargement nécessite 5.2 MB sur votre disque dur. Retrouvez Prover9-Mace4 dans notre catégoie Outils de développement et plus précisément IDE. Notre antivirus a vérifié ce téléchargement, il est garanti 100% sécurisé.
Du développeur:
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples. Prover9 is the successor of the Otter prover. This version should be reasonably functional, but it's not ready for general release. This was done in Python with the WX widget library. The target platforms are Windows (2000 or later), Mac OS X (10.3.9 or later), and Linux.
Peut-être voudriez-vous essayer également des logiciels en rapport avec Prover9-Mace4 ? Nous vous proposons PeaZip ou Mitchell UltraMate.