我試圖安裝TPTP使用以下兩種方法:Eclipse的開普勒:無法安裝TPTP Java剖析
與第一種方法,沒有分析選項出現在Eclipse IDE (我跟着this guide)。
在第二方法中,我使用的存儲庫:http://download.eclipse.org/tptp/updates/
。然後選中「TPTP 4.7.2功能」複選框。然後,狀態欄顯示「無法執行操作計算替代解決方案。」然後這個窗口:
我會嘗試安裝「全合一」 TPTP包食,但我無法找到一個鏈接到下載! (Windows 8.1,64位)