Accessing the TPTP

Releases

• Numbered releases are made
• v<Version>.<Edition>.<Patch>

WWW Access

• http://tptp.org/

• Browsing
  • Problems
  • Axiom sets
  • Documentation

• Downloading
  • ReadMe-v2.4.0
    ReadMe: Basic Information, 9Kbytes.
  • TPTP-v2.4.0.tar.gz
    TPTP Library: ATP Problems and Tools, 1.7 Mbytes.
  • TR-v2.2.0.ps.gz
    Technical Report: Description and Manual, 112Kbytes.
  • BuggedProblems-v2.4.0
    Bugged problems list (Bugs found in the current version)