The tpdb package

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 http://www.termination-portal.org/wiki/TPDB

Properties

Versions	0.0, 0.1, 0.3, 0.6.0, 0.6.1, 0.7.1
Dependencies	base (4.*), containers, directory, filepath, HaXml, hxt, parsec, pretty, time
License	GPL
Author	Johannes Waldmann
Maintainer	Johannes Waldmann
Category	Science
Source repository	git clone git://dfa.imn.htwk-leipzig.de/srv/git/tpdb/
Executables	Compressor
Upload date	Fri Oct 26 12:35:11 UTC 2012
Uploaded by	JohannesWaldmann
Build failure	ghc-7.6 (log)

Modules

TPDB
- CPF
  - Proof
    - TPDB.CPF.Proof.Type
    - TPDB.CPF.Proof.Xml
- TPDB.Compress
- TPDB.Convert
- TPDB.Data
  - TPDB.Data.Term
  - TPDB.Data.Xml
- TPDB.Input
- TPDB.Mirror
- Plain
  - TPDB.Plain.Read
  - TPDB.Plain.Write
- TPDB.Pretty
- Rainbow
  - Proof
    - TPDB.Rainbow.Proof.Type
    - TPDB.Rainbow.Proof.Xml
- TPDB.XTC
  - TPDB.XTC.Read
- TPDB.Xml

Downloads

tpdb-0.6.0.tar.gz (Cabal source package)
package description (included in the package)