Searched defs:TPTP (Results 1 – 5 of 5) sorted by relevance
7 TPTP='~/TPTP/TPTP-v6.1.0/' variable
10 TPTP='~/TPTP-v6.4.0/' variable
60 class TPTP class
82 TPTP::TPTP(istream& in) in TPTP() function in TPTP
399 TPTP = 1, enumerator621 TPTP = 3, enumerator