为了学习和使用TPTP，并且基于此开发自定义的测试工具，我们需要安装和配置Eclipse环境。为了减轻大家到处查看英文网页的负担，在这里做个简要说明：

1- 下载和安装JDK:
http://java.sun.com/j2se/1.5.0/download.jsp
目前新的是JDK 5.0 Update 5

2- 下载和安装Eclipse SDK:
http://eclipse.org/downloads/index.php
目前新的版本是3.1.1，解压即可。
http://download.eclipse.org/downloads/drops/R-3.1.1-200509290840/index.php

3- 下载EMF SDK 2.1.1:
http://www.eclipse.org/downloads/download.php?file=/tools/emf/downloads/drops/2.1.1/R200509281310/emf-sdo-SDK-2.1.1.zip
这是TPTP依赖的SDK，解压到Eclipse SDK相同的目录。

4- 下载XSD SDK 2.1.1:
http://www.eclipse.org/downloads/download.php?file=/tools/emf/downloads/drops/2.1.1/R200509281310/xsd-SDK-2.1.1.zip
这是TPTP依赖的SDK，解压到Eclipse SDK相同的目录。

5- 下载TPTP SDK 4.0.1:
http://www.eclipse.org/downloads/download.php?file=/tptp/4.0.1/TPTP-4.0.1-200510031151/tptp.sdk-TPTP-4.0.1-200510031151.zip
解压到Eclipse SDK相同的目录。

6- 启动Eclipse:
直接点eclipse/eclipse.exe启动，如果发现TPTP无法加载，使用-clean参数执行eclipse.exe一次。