logic-TPTP: Import, export etc. for TPTP, a syntax for first-order logic

[ codec, library, math, theorem-provers ] [ Propose Tags ]

For information about the TPTP format, see http://www.cs.miami.edu/~tptp/.


Tests passed:

Not yet implemented: The new thf and tff formula types.

Versions [RSS] [faq] 0.1, 0.2.0,,,,,,,,,,,,,,,,,
Change log changelog.markdown
Dependencies ansi-wl-pprint, array, base (==4.*), bytestring, containers, logic-TPTP, mtl, optparse-applicative (>=0.11 && <0.17), pcre-light, pointed, process, QuickCheck (>=2), semigroups, syb, transformers, transformers-compat (>=0.5) [details]
License LicenseRef-GPL
Author Daniel Schüssler
Maintainer Ahn, Ki Yung <kya@pdx.edu>, Daniel Schüssler <daniels@community.haskell.org>, Masahiro Sakai <masahiro.sakai@gmail.com>
Revised Revision 1 made by MasahiroSakai at 2020-12-29T05:43:51Z
Category Codec, Math, Theorem Provers
Bug tracker http://github.com/DanielSchuessler/logic-TPTP/issues
Source repo head: git clone http://github.com/DanielSchuessler/logic-TPTP.git
Uploaded by MasahiroSakai at 2020-02-28T12:17:14Z
Distributions NixOS:
Executables ParseRandom, PrettyPrintFile, TestImportExportImportFile
Downloads 13282 total (61 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2020-02-28 [all 1 reports]


[Index] [Quick Jump]

Manual Flags


build test programs

Automatic Flags

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


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees