Erreur d'installation de Prover9 sur Windows

Question

J'ai essayé d'installer Prover9 sur mon système Windows. Mais après l'achèvement de la procédure d'installation quand il est censé lancer l'application. Je reçois l'erreur suivante:

Prover9error

Lorsque j'ai essayé de rechercher ce fichier journal, il n'y avait pas un tel fichier présent à cet endroit. S'il vous plaît aider si quelqu'un a rencontré quelque chose comme ça et sait comment le résoudre.

[P.S .: Je pourrais trouver cette erreur sur Internet.]

Merci!

Answer 1

J'ai également eu un problème en installant le prover9 en raison du MSVCP71.dll manquant cependant je l'ai surmonté en obtenant le prover9-Mace-version4 installé. pour résoudre l'erreur suivez cette instruction

"Si vous utilisez Windows 7 32 bits, vous devez placer les deux fichiers dll dans le dossier Windows/System32 comme indiqué dans la capture d'écran ci-dessous."

Si vous utilisez Windows 7 64 bits, vous devez placer les deux fichiers dll dans le dossier Windows/SysWOW64 comme indiqué dans la capture d'écran ci-dessous.