The TSTP Solution Library
A Library of Solutions
- Aim
- A simple, unambiguous, source and reference mechanism
- Set standards for ATP system output
- Improve interpretation of ATP systems' output
- Motivation
- System development by solution analysis
- Solution processing by standard tools
- System certification by solution verification
Features
Browsing available
online at tptp.org/TSTP