Test and Performance Tools Platform

Resources

TPTP resources are divided into the following areas:

• Downloads
  Drivers for users, consumers, and committers of TPTP.
  Download the latest and historical TPTP drivers.
  
  
• Documentation
  Information for users, consumers, and committers of TPTP.
  Everything from installation guides and migration guides to process documents.
  
  
• Get involved!
  For people who are not committers of TPTP.
  There are many ways to get involved with Eclipse TPTP.
  
  
• FAQ
  For users of TPTP.
  Read the most common questions and answers about TPTP.
  
  
• About TPTP
  For newcomers to TPTP.
  Learn what TPTP is, who contributes to it, and how it can help you.
  
  
• TPTP Wiki
  For the TPTP development team.
  These wiki pages are used to list the TPTP development discussions and other documents intended for the TPTP development team.