The complete catalogue of quasigroup and loop theory results obtained with the assistance of automated theorem provers.
For a detailed description, see our paper. For technical details, see the Readme file.
We intend to keep the library updated. Please, help us by reporting your new results.

QPTP LIBRARY:

• QPTP 12/08, benchmark input/output files
• QPTP 10/08
• QPTP 05/08, benchmark input/output files

PAPERS:

• The PAPER (based on QPTP 12/08)
• ESARM workshop paper (based on QPTP 05/08)
• LPAR'08 short paper

Authors: JD Phillips, David Stanovský
Contact: