Nuestra biblioteca de programas le ofrece una descarga gratuita de Prover9-Mace4 0.5. La versión 0.5 es la más descargada por los usuarios del programa. El fichero de instalación más reciente ocupa 5.2 MB en disco. El programa pertenece al grupo de aplicaciones sobre Desarrollo.
Este programa sin coste fue desarrollado originariamente por UNM. Normalmente, el archivo de instalación de este programa tiene el siguiente nombre de fichero: prover9-mace4.exe.
Esta herramienta sin coste para PC se diseñó para correr en Windows XP, Windows Vista, Windows 7, Windows 8, Windows 10 o Windows 11 y es compatible con sistemas de 32 bits. Nuestro propio antivirus ha comprobado esta descarga y ha determinado que es 100 % segura.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como Windows Automated Installation Kit, PDF Automation Server for Windows o Kundli for Windows, que podrían ser parecidos a Prover9-Mace4.