@hackage tptp0.1.3.0

Parser and pretty printer for the TPTP language

Categories
License
GPL-3.0-only
Maintainer
evgeny.kotelnikov@gmail.com
Links
Versions
- 0.1.3.0 Mon, 11 Jan 2021
- 0.1.2.0 Fri, 3 Apr 2020
- 0.1.1.0 Sat, 7 Dec 2019
- 0.1.0.3 Mon, 10 Jun 2019
- 0.1.0.2 Tue, 7 May 2019
- 0.1.0.1 Tue, 7 May 2019

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.

Installation
In your cabal file:
Tested Compilers
Dependencies (6)
- base >=4.7 && <5.0
- text >=1.2.3 && <1.3
- attoparsec >=0.13.2 && <0.14
- prettyprinter >=1.2.1 && <1.5
- scientific >=0.3.1 && <0.4
- semigroups >=0.16.1 && <1.0
Dependents (1)
@hackage/atp

Package Flags

werror

(off by default)

Build with -Werror