v0.4

• Fixed names for all problems to maintain a better ordering.
• The TSTP solutions were generated using the last version of Metis.
• Added the link for Metis problems (prop-metis folder in problems).

v0.3

We included propositional problems from the sources of Metis prover.

Collection of TPTP Problems and Solutions

In this occasion, The PDF version of both, problems and solutions has been polished removing empty lines in the problems. We also generate the solutions for each TPTP problem using the last release of Metis ATP (2.3 - release 20170315) due to a bug in the printing module of Metis.

v0.1

[ README ] fixed whitespaces.

First realease.

TPTP problems in the problems folder and its included a PDF to preview fastly all problems.