Library for reading and writing FOF and CNF formulas in TPTP format