tptp-parser

Parser for the TPTP file format

tptp
2.6.2 • Published 8 years ago