Requirements for the TSTP

Automatic Generation

• TSTP
• System interfaces
• ATP system suite

Problems to Solve

• TSTP
• Problem library (the TPTP)
• Problem sources
  • ATP applications
  • Problem encoding
• Problem encoding
  • Manual encoding
  • Automatic encoding
  • Automatic discovery

Representation and Summary Information

• TSTP
• (Analysis tools)
• Common solution language
• Syntax and standards