1) tptp.runtime-TPTP-4.5.0 和 agntctrl.win_ia32-TPTP-4.5.0 拷贝到 eclipse\dropins
2) cd eclipse\dropins\agntctrl.win_ia32-TPTP-4.5.0\bin
3) SetConfig.bat
4) 按照画面提示进行设置
5) ACServer.exe
2) cd eclipse\dropins\agntctrl.win_ia32-TPTP-4.5.0\bin
3) SetConfig.bat
4) 按照画面提示进行设置
5) ACServer.exe