Prover9-Mace4 0.5 pode ser baixado do nosso banco de dados de graça. O mais recente pacote de instalação que pode ser baixado tem 5.2 MB. O programa fica na subcategoria IDE, que fica dentro de Ferramentas de Desenvolvimento. Esse programa foi originalmente desenvolvido por UNM.
Seu download foi conferido por nosso antivírus e foi avaliado como 100% limpo. A versão mais baixada do programa é 0.5. O arquivo do instalador do programa é conhecido como prover9-mace4.exe. Esse software para PC trabalha bem com as versões 32-bit do Windows XP/Vista/7/8/10/11.
Do desenvolvedor:
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.
Confira mais programas, tais como Mitchell UltraMate ou Dynamsoft SCM Anywhere Standalone, que podem ser similares a Prover9-Mace4.