_oasis

OASISFormat: 0.4
Name: tptp
Version: 0.3.2
Synopsis: TPTP format parsing
Authors: Radek Micek
Copyrights: (c) 2012-2015 Radek Micek
License: MIT
LicenseFile: LICENSE.txt
Plugins: META (0.4), StdFiles (0.4)
BuildTools: ocamlbuild

Description:
  tptp is a library for reading and writing FOF and CNF formulas
  in TPTP format. Library can process all problems and axioms from
  TPTP 6.2.0 which don't contain line starting with "thf(" or "tff(".

Library tptp
  Path: src
  Modules: Tptp_ast, Tptp_parser, Tptp_lexer, Tptp_printer, Tptp
  BuildDepends: zarith, pprint, menhirLib
  BuildTools+: menhir

Document "api-tptp"
  Title: API reference for TPTP
  Type: ocamlbuild (0.4)
  BuildTools+: ocamldoc
  XOCamlbuildLibraries: tptp
  XOCamlbuildPath: src

Executable test
  Path: test
  MainIs: test.ml
  BuildDepends: tptp, zarith, oUnit
  Install: false
  Build$: flag(tests)
  CompiledObject: Best

Test main
  Command: $test
  WorkingDirectory: test