tptp

Libraries in the TPTP format, see http://www.tptp.org/