Difference between revisions of "TPDB"

From Termination-Portal.org
Jump to navigationJump to search
Line 37: Line 37:
  
 
  xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs
 
  xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs
 +
 +
* Haskell library for reading and writing TPDB (plain and XML format) [http://hackage.haskell.org/package/tpdb]

Revision as of 15:16, 22 February 2014

The Termination Problems Data Base collects termination problems that are being used in termination competitions.

Syntax and semantics specification

see also:

Data

Sources

The following are references for classical problem sets that appear in TPDB.

TPDB problems are collected from a variety of sources, by a variety of contributors. Often, the author of the problem is not the creator of the respective TPDB file. Sometimes, TPDB file structure (directory names) have been changed.

Tools

java -jar convert.jar someTrs.trs > someTrs.xml 
xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs
  • Haskell library for reading and writing TPDB (plain and XML format) [1]