Opam Package tptp.0.3.2

Package info

opam-nametptp
opam-version0.3.2
synopsisLibrary for reading and writing FOF and CNF formulas in TPTP format
authors
  • Radek Micek <radek.micek@gmail.com>
homepagehttps://github.com/radekm/ocaml-tptp
licenseMIT
deps (6)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

tptp

Package files

lib/tptp/tptp_printer.mli
lib/tptp/tptp_printer.cmx
lib/tptp/tptp_printer.cmti
lib/tptp/tptp_printer.cmt
lib/tptp/tptp_printer.cmi
lib/tptp/tptp_printer.annot
lib/tptp/tptp_parser.cmx
lib/tptp/tptp_parser.cmti
lib/tptp/tptp_parser.cmt
lib/tptp/tptp_parser.cmi
lib/tptp/tptp_parser.annot
lib/tptp/tptp_lexer.mli
lib/tptp/tptp_lexer.cmx
lib/tptp/tptp_lexer.cmti
lib/tptp/tptp_lexer.cmt
lib/tptp/tptp_lexer.cmi
lib/tptp/tptp_lexer.annot
lib/tptp/tptp_ast.mli
lib/tptp/tptp_ast.cmx
lib/tptp/tptp_ast.cmti
lib/tptp/tptp_ast.cmt
lib/tptp/tptp_ast.cmi
lib/tptp/tptp_ast.annot
lib/tptp/tptp.mli
lib/tptp/tptp.cmxs
lib/tptp/tptp.cmxa
lib/tptp/tptp.cmx
lib/tptp/tptp.cmti
lib/tptp/tptp.cmt
lib/tptp/tptp.cmi
lib/tptp/tptp.cma
lib/tptp/tptp.annot
lib/tptp/tptp.a
lib/tptp/META
lib/tptp