Closed JOSHCLUNE closed 9 months ago
A minor edit to the TPTP parser to ensure that the parser can handle the 17 Provers and GRUNGE benchmarks.
A minor edit to the TPTP parser to ensure that the parser can handle the 17 Provers and GRUNGE benchmarks.