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/.

Components:

Tests passed:

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

Versions [RSS] [faq] 0.1, 0.2.0, 0.2.0.1, 0.2.0.3, 0.2.0.4, 0.2.0.6, 0.2.0.7, 0.3.0.0, 0.3.0.1, 0.3.0.2, 0.4.0.0, 0.4.1.0, 0.4.2.0, 0.4.3.0, 0.4.4.0, 0.4.5.0, 0.4.6.0, 0.4.7.0, 0.5.0.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:0.5.0.0
Executables ParseRandom, PrettyPrintFile, TestImportExportImportFile
Downloads 12793 total (56 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]

Modules

[Index] [Quick Jump]

Flags

NameDescriptionDefaultType
buildtestprograms

build test programs

DisabledManual

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

Downloads

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

Candidates