package tptp

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

R

Radek Micek <radek.micek@gmail.com>

Maintainers

R

Radek Micek <radek.micek@gmail.com>

Sources

sha256=2fe776415ffcbd7ba580b93df78bd17600a5354d56e349d10e6c45ac101c8ebb

md5=9e3bb9d827bfc22f7d55202b1e722cb4

doc/index.html

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.

On This Page

API
1. Library tptp