我尝试在Windows系统上安装Prover9。但是在完成安装程序后应该启动应用程序。我收到以下错误：
当我尝试搜索该日志文件时，该位置没有此类文件。 如果有人遇到这样的事情并且知道如何解决它，请提供帮助。
[P.S。：我可以在网上找到这个错误。]
谢谢！
答案 0 :(得分：0)
由于缺少MSVCP71.dll，我也遇到了安装prover9的问题，但我已经通过安装prover9-Mace-version4克服了它。按照此说明解决错误
“如果您使用的是32位Windows 7，则需要将两个dll文件放在Windows / System32文件夹中，如下面的屏幕截图所示。”
如果您使用的是Windows 7 64位，则需要将两个dll文件放在Windows / SysWOW64文件夹中，如下面的屏幕截图所示。
希望它解决你的问题
