name: logic-TPTP version: 0.4.3.0 x-revision: 2 cabal-version: >= 1.6 build-type: Simple license: GPL license-file: LICENSE maintainer: Ahn, Ki Yung , Daniel Schüssler bug-reports: http://github.com/DanielSchuessler/logic-TPTP/issues synopsis: Import, export etc. for TPTP, a syntax for first-order logic description: For information about the TPTP format, see . . Components: . - Parser ('parse') . - Exporter ('toTPTP') . - Pretty-printer ('pretty') . - QuickCheck instances (generation of random formulae) . - 'diff' : Get a \"formula\" which represents the differences between two given formulae (equal subexpressions are truncated; so are the subexpressions of subexpressions whose heads already differ) . Tests passed: . - For randomly generated formulae, @parse . toTPTP == id@ . - For all files in the TPTP (v 5.2.0) distribution's @Problems@ subtree which don't match the regex \"^(thf|tff)\(\", @parse . toTPTP . parse == parse@ . Not yet implemented: The new /thf/ and /tff/ formula types. . category: Codec,Math,Theorem Provers author: Daniel Schüssler extra-source-files: testing/compileTests.sh testing/TestImportExportRandom.hs testing/TestImportExportImportFile.hs testing/PrettyPrintFile.hs testing/ParseRandom.hs changelog.markdown tested-with: GHC==7.4.1 tested-with: GHC==7.2.1 tested-with: GHC==7.0.4 source-repository head type: git location: http://github.com/DanielSchuessler/logic-TPTP.git Library ghc-options: -Wall -O2 build-depends: base >=4 && < 5 , array , syb , containers , ansi-wl-pprint < 1.0 , QuickCheck >= 2 , mtl < 2.3 , pointed , transformers , transformers-compat >= 0.3 exposed-modules: Codec.TPTP.Import , Codec.TPTP.Base , Codec.TPTP , Codec.TPTP.Pretty , Codec.TPTP.Export , Codec.TPTP.Diff other-modules: Lexer , Parser , ParserC , Codec.TPTP.QuickCheck , Util build-tools: alex, happy