Prover9-Mace4

par UNM

Télécharger depuis le site Web du développeur

Type de licence: Gratuit

Nombre de téléchargements:443

Système d'exploitation:Windows XP/Vista/7/8/10/11

Latest version:0.5

Signaler des informations incorrectes

Description

Capture d'écran

Prover9-Mace4 0.5 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.

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. Retrouvez Prover9-Mace4 dans notre catégoie Outils de développement et plus précisément IDE. Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs.

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.

Télécharger Prover9-Mace4 depuis le site Web du développeur

utile

Comment nettoyer le registre

utile

Comment créer des graphiques vectoriels

utile

Comment utiliser un pare-feu