TermComp Downloads

XTC 2 TPDB Stylesheet (xtc2tpdb.xsl [4 KB])

Use this stylesheet to convert XTC XML files (specified in http://dev.aspsimon.org/xtc.xsd) to the old TPDB format (as specified by Claude Marché).

TPDB 5.0.2 (tpdb-5.0.2.tar.gz [752 KB])

Maintenance release containing new examples for the OUTERMOST category submitted by Jörg Endrullis and René Thiemann.

TPDB 5.0.1 (tpdb-5.0.1.tar.gz [733 KB])

Maintenance release containing the 50 new examples for the OUTERMOST category submitted by Hans Zantema.

TPDB 5.0 (tpdb-5.0.tar.gz [730 KB])

The full termination database used in the competition starting 4th November 2008.