The latest version of tpdb is 2.7.2-0.
tpdb
Version 0.8.2 revision 0 uploaded by JohannesWaldmann.
Package meta
- Synopsis
- Data Type for Rewriting Systems
- Description
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
- Author
- Johannes Waldmann
- Bug reports
- n/a
- Category
- Science
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Johannes Waldmann
- Package URL
- n/a
- Stability
- n/a