@hackage / tptp

Parser and pretty printer for the TPTP language

Latest0.1.3.0

About

Metadata

  • Last updated , by EK
  • License GPL-3.0-only
  • Categories Parsers

  • Maintained by: evgeny.kotelnikov@gmail.com

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 8.10.3
  2. 8.8.4
  3. 8.6.5
  4. 8.4.4
  5. 8.2.2
  6. 8.0.2
  7. 7.10.3

Package Flags

Use the -f option with cabal commands to enable flags

    werror (off by default)

    Build with -Werror

Readme

TPTP (Thousands of Problems for Theorem Provers) is the standard language of problems, proofs, and models, used by automated theorem provers.

This library provides definitions of data types, a pretty printer and an attoparsec parser for the CNF, FOF, TFF0 and TFF1 subsets of TPTP.