tptp-parser

Parser for the TPTP file format

tptp
2.6.2 • Published 7 years ago