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 Tue Apr 8 18:07:44 UTC 2014 by JohannesWaldmann
Distributions NixOS:1.3.3
Downloads 2335 total (7 in the last 30 days)
0 []
Status Docs uploaded by user [build log]
All reported builds failed [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees