tptp: A parser and a pretty printer for the TPTP language

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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 (currently, a subset of) the TPTP language.

Properties

Versions 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.1.0.3, 0.1.1.0, 0.1.2.0, 0.1.3.0
Change log CHANGELOG.md
Dependencies attoparsec (>=0.13.2 && <0.14), base (>=4.5 && <5.0), prettyprinter (>=1.2.1 && <1.3), scientific (>=0.3.6 && <0.4), semigroups (>=0.16.1 && <0.19), text (>=1.2.3 && <1.3) [details]
License GPL-3.0-only
Author Evgenii Kotelnikov
Maintainer evgeny.kotelnikov@gmail.com
Category Language, Parsing, Pretty Printer, Theorem Provers, Formal Methods
Home page https://github.com/aztek/tptp
Bug tracker https://github.com/aztek/tptp/issues
Source repo head: git clone git://github.com/aztek/tptp.git
Uploaded by EK at 2019-06-10T22:11:22Z

Modules

[Index] [Quick Jump]

Flags

Manual Flags

NameDescriptionDefault
werrorDisabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees