2017-10-09 6 views
0

WindowsシステムにProver9をインストールしようとしました。しかし、アプリケーションを起動するはずのインストール手順が完了した後。私は次のエラーを取得しています:WindowsでProver9のインストールエラーが発生しました

Prover9error

私はそのログファイルを検索しようとすると、その場所でそのようなファイルの存在はありませんでした。 誰かがこのようなことに遭遇し、それを解決する方法を知っている場合は助けてください。

[P.S:私は、インターネット上でこのエラーを見つけることができる。]

ありがとう!

答えて

0

また、MSVCP71.dllが見つからないためprover9をインストールする際に問題が発生しましたが、prover9-Mace-version4がインストールされていることで克服しました。エラーを解決するには

"Windows 7 32ビットを使用している場合は、下のスクリーンショットに示すように、両方のdllファイルをWindows/System32フォルダ内に置く必要があります。

Windows 7 64ビットを使用している場合は、両方のdllファイルをWindows/SysWOW64フォルダ内に配置する必要があります(下のスクリーンショット参照)。

この問題を解決することを希望します。

+0

はい、私は同じことを行うことで問題を解決しました。しかし、有益な答えをありがとう。 – crazyCoder

関連する問題