我在 Windows 系统上尝试安装 Prover9。安装过程完成后，应当启动应用程序时，我遇到了以下错误：
当我试图查找那个日志文件时，发现该位置并没有这样的文件。如果有人遇到过类似问题并且知道如何解决，请帮助我。
[P.S.: 我在网上找不到这个错误的相关信息。]
谢谢！
回答：
我在安装 Prover9 时也遇到了问题，因为缺少 MSVCP71.dll 文件，不过我通过安装 prover9-Mace-version4 版本解决了这个问题。请按照以下说明来解决错误：
“如果你使用的是 Windows 7 32 位系统，那么你需要将两个 dll 文件放入 Windows/System32 文件夹中，如下图所示。”
如果你使用的是 Windows 7 64 位系统，那么你需要将两个 dll 文件放入 Windows/SysWOW64 文件夹中，如下图所示。
希望这能解决你的问题
