tptp 0.3.2

Libraries

This package provides the following libraries (via ocamlobjinfo):

tptp

Documentation:

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