The tpdb package
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
Properties
| Versions | 0.0, 0.1, 0.3 |
|---|---|
| Dependencies | base (4.*), containers, HaXml, hxt, parsec, pretty, time |
| License | GPL |
| Author | Johannes Waldmann |
| Maintainer | Johannes Waldmann |
| Category | Science |
| Source repository | git clone git://dfa.imn.htwk-leipzig.de/srv/git/tpdb/ |
| Upload date | Fri Mar 2 12:06:42 UTC 2012 |
| Uploaded by | JohannesWaldmann |
| Built on | ghc-7.4 |
Modules
- TPDB
- CPF
- Proof
- TPDB.CPF.Proof.Type
- TPDB.CPF.Proof.Xml
- Proof
- TPDB.Data
- TPDB.Data.Term
- TPDB.Data.Xml
- Plain
- TPDB.Plain.Read
- TPDB.Plain.Write
- TPDB.Pretty
- Rainbow
- Proof
- TPDB.Rainbow.Proof.Type
- TPDB.Rainbow.Proof.Xml
- Proof
- TPDB.XTC
- TPDB.XTC.Read
- TPDB.Xml
- CPF
Downloads
- tpdb-0.3.tar.gz (Cabal source package)
- package description (included in the package)