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.*), bytestring, containers, filepath, hashable, HaXml, hxt, mtl, parsec, text, time, transformers, 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 Mon Jun 13 11:39:08 UTC 2016 by JohannesWaldmann
Distributions NixOS:1.3.3
Downloads 2335 total (6 in the last 30 days)
0 []
Status Docs available [build log]
Last success reported on 2016-06-13 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees