The tpdb package

[Tags:gpl, library, test]

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


Versions 0.0, 0.1, 0.3, 0.6.0, 0.6.1, 0.7.1, 0.8.2, 0.8.3, 0.8.4, 0.9.6, 0.9.8, 1.1.1, 1.2.0, 1.3.2, 1.3.3
Dependencies base (==4.*), containers, filepath, hashable, HaXml, hxt, mtl, parsec, time, wl-pprint-text [details]
License GPL
Author Alexander Bau, Johannes Waldmann
Maintainer Johannes Waldmann
Stability Unknown
Category Logic
Home page
Source repository head: git clone git://
Uploaded Sun Jun 22 18:27:29 UTC 2014 by JohannesWaldmann
Distributions NixOS:1.3.3
Downloads 2191 total (38 in the last 30 days)
0 []
Status Docs available [build log]
Successful builds reported [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees