tptp

API

Library tptp

• Tptp Reading and writing FOF and CNF formulas in TPTP format.
• Tptp_ast AST for FOF and CNF formulas.
• Tptp_lexer Lexer.
• Tptp_parser
• Tptp_printer Printer.