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, parsec, time, wl-pprint-text [details]
License GPL
Author Johannes Waldmann
Maintainer Johannes Waldmann
Stability Unknown
Category Logic
Home page
Source repository head: git clone git://
Uploaded Sat Feb 22 16:23:46 UTC 2014 by JohannesWaldmann
Distributions NixOS:1.3.3
Downloads 2177 total (27 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