cabal-version: 2.4 name: tptp version: 0.1.2.0 synopsis: Parser and pretty printer for the TPTP language description: (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 and an parser for the CNF, FOF, TFF0 and TFF1 subsets of TPTP. homepage: https://github.com/aztek/tptp bug-reports: https://github.com/aztek/tptp/issues license: GPL-3.0-only license-file: LICENSE author: Evgenii Kotelnikov maintainer: evgeny.kotelnikov@gmail.com category: Language, Parsing, Pretty Printer, Theorem Provers, Formal Methods tested-with: GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.3, GHC == 8.10.1 extra-source-files: CHANGELOG.md test/*.hs test/**/*.hs test-data/szs/**/*.s test-data/tptp/**/*.ax test-data/tptp/**/*.p test-data/tstp/**/*.s source-repository head type: git location: git://github.com/aztek/tptp.git flag Werror default: False manual: True description: Build with -Werror library hs-source-dirs: src default-language: Haskell2010 exposed-modules: Data.TPTP Data.TPTP.Parse.Combinators Data.TPTP.Parse.Text Data.TPTP.Parse.Text.Lazy Data.TPTP.Pretty ghc-options: -Wall if flag(Werror) ghc-options: -Werror build-depends: base >= 4.7 && < 5.0, text >= 1.2.3 && < 1.3, attoparsec >= 0.13.2 && < 0.14, scientific >= 0.3.1 && < 0.4, prettyprinter >= 1.2.1 && < 1.5 if impl(ghc < 8) ghc-options: -fwarn-incomplete-record-updates -fwarn-incomplete-uni-patterns build-depends: semigroups >= 0.16.1 && < 1.0 if impl(ghc >= 8) ghc-options: -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints test-suite quickcheck-spec type: exitcode-stdio-1.0 hs-source-dirs: test/QuickCheckSpec default-language: Haskell2010 main-is: Main.hs other-modules: ArbitrarilyPretty Generators Normalizers ghc-options: -Wall -threaded if flag(Werror) ghc-options: -Werror build-depends: base, text, attoparsec, scientific, prettyprinter, generic-random >= 1.2.0.0 && < 1.3, QuickCheck >= 2.4 && < 3.0, tptp if impl(ghc < 8) build-depends: semigroups if impl(ghc < 8.2) build-depends: bifunctors >= 3.0.1 && < 6 test-suite unit-tests type: detailed-0.9 hs-source-dirs: test default-language: Haskell2010 test-module: UnitTests ghc-options: -Wall -threaded if flag(Werror) ghc-options: -Werror -- TODO: Workaround the pesky bug in ghc 8.0 -- https://stackoverflow.com/q/39310043/1344648 if (impl(ghc >= 8.0.0)) && (impl(ghc < 8.1.0)) buildable: False build-depends: base, text, Cabal >= 1.16.0, extra >= 1.4.4 && < 1.7, directory >= 1.2.5 && < 1.4, filepath >= 1.3 && < 1.5, tptp test-suite doctests type: exitcode-stdio-1.0 hs-source-dirs: test/DocTests default-language: Haskell2010 main-is: Main.hs ghc-options: -Wall -threaded if flag(Werror) ghc-options: -Werror -- TODO: Make it work buildable: False build-depends: base, QuickCheck, doctest