TPTP Infrastructure

Data

• The TPTP Problem Library
• The TPTP Language
• The SZS Ontology
• The TSTP Solution Library

Tools

• TPTP2X and TPTP4X
• BNF-based Parsers
• SystemOnTPTP

The TPTP World is Many Things