Name: tpdb Version: 2.1.1 Author: Alexander Bau, Johannes Waldmann Maintainer: Johannes Waldmann Category: Logic License: GPL License-file: LICENSE Cabal-Version: >= 1.8 Synopsis: Data Type for Rewriting Systems Description: The package defines data types and parsers for rewriting systems and termination proofs, as used in the Termination Competitions. For syntax and semantics specification, see Build-Type: Simple Homepage: https://github.com/jwaldmann/haskell-tpdb Source-Repository head Type: git Location: git://github.com/jwaldmann/haskell-tpdb.git -- Extra-Source-Files: -- test/3.15.xml, test/33.trs , test/z001.srs Library Build-Depends: base==4.*, prettyprinter, text, mtl, xml-hamlet, xml-conduit, data-default, parsec, time, containers, filepath, hashable, bytestring, exceptions Hs-Source-Dirs: src Exposed-Modules: TPDB.Data, TPDB.Data.Term, TPDB.Data.Rule, TPDB.Data.Attributes, TPDB.Data.Xml -- TPDB.Compress, TPDB.Convert, TPDB.Input, TPDB.Input.File, TPDB.Input.Memory TPDB.Mirror TPDB.DP, TPDB.DP.Graph, TPDB.DP.Transform, TPDB.DP.Unify, TPDB.DP.Usable, TPDB.DP.TCap, TPDB.Pretty, TPDB.Plain.Write, TPDB.Plain.Read, TPDB.XTC, TPDB.XTC.Read, TPDB.XTC.Write, TPDB.Xml, TPDB.CPF.Proof.Write, TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml, TPDB.CPF.Proof.Type, TPDB.CPF.Proof.Util Executable plain2xtc build-depends: base==4.*, tpdb, bytestring main-is: plain2xtc.hs -- Executable Compressor -- Main-is: Compressor.hs -- Build-depends: base==4.*, containers >= 0.5, directory, wl-pprint-text, hxt, parsec, hashable Test-Suite XML Build-Depends: base==4.*, tpdb Type: exitcode-stdio-1.0 main-is: read_print_xml.hs hs-source-dirs: test Test-Suite XML_relative Build-Depends: base==4.*, tpdb Type: exitcode-stdio-1.0 main-is: read_print_xml_relative.hs hs-source-dirs: test Test-Suite TRS Build-Depends: base==4.*, tpdb, text Type: exitcode-stdio-1.0 main-is: read_print_trs.hs hs-source-dirs: test Test-Suite TRS_02 Build-Depends: base==4.*, tpdb, text Type: exitcode-stdio-1.0 main-is: read_print_trs_2.hs hs-source-dirs: test Test-Suite SRS Build-Depends: base==4.*, tpdb, text Type: exitcode-stdio-1.0 main-is: read_print_srs.hs hs-source-dirs: test Test-Suite Speed Buildable: False Build-Depends: base==4.*, tpdb, text, pretty Type: exitcode-stdio-1.0 main-is: speed.hs hs-source-dirs: test Test-Suite Attributes Build-Depends: base==4.*, tpdb, text, pretty Type: exitcode-stdio-1.0 main-is: attributes.hs hs-source-dirs: test Test-Suite XML-Theory Build-Depends: base==4.*, tpdb Type: exitcode-stdio-1.0 main-is: read_print_xml_theory.hs hs-source-dirs: test Test-Suite CPF-AC Build-Depends: base==4.*, tpdb Type: exitcode-stdio-1.0 main-is: read_cpf.hs hs-source-dirs: test Test-Suite Parse-AC Build-Depends: base==4.*, tpdb Type: exitcode-stdio-1.0 main-is: parse_ac.hs hs-source-dirs: test Test-Suite read-cpf Build-Depends: base==4.*, tpdb Type: exitcode-stdio-1.0 main-is: read_cpf.hs hs-source-dirs: test Test-Suite read-complex Build-Depends: base==4.*, tpdb Type: exitcode-stdio-1.0 main-is: read_complex.hs hs-source-dirs: test Test-Suite read-large Build-Depends: base==4.*, tpdb Type: exitcode-stdio-1.0 main-is: read_large.hs hs-source-dirs: test