【发布时间】:2014-04-16 14:38:48
【问题描述】:
我曾尝试使用两种方法安装 TPTP:
使用第一种方法,Eclipse IDE 中不会出现任何分析选项(我关注的是this guide)。
通过第二种方法,我使用了存储库:http://download.eclipse.org/tptp/updates/。然后我选中“TPTP 4.7.2 Features”复选框。然后状态栏显示“无法执行操作。计算替代解决方案”,然后弹出此窗口:
我会尝试为 Eclipse 安装“一体化”TPTP 包,但我找不到下载链接! (Windows 8.1,64 位)
【问题讨论】: