Tyrolean Termination Tool 2

Aug 18 2016: Version 1.16 released (generalized subterm criterion, generalized tcap) (Oct 28 2016: added missing files to source code archive)
Jan 13 2014: Version 1.15 released (strengthened ordinal interpretations; added elementary interpretations)
Aug 23 2013: Version 1.14 released (fixed bug in transfinite KBO)
Jun 26 2013: Version 1.13 released (fixed competition version)
Jun 21 2013: Version 1.12 released (ordinal interpretations, CPF output improved)
Mar 21 2013: Version 1.10 released (improved compilation for FreeBSD)
Feb 4 2013: Version 1.09 released
May 25 2012: Version 1.08 released (PicoSat binding added)
May 2 2011: Version 1.07 released (using new build system)
Sep 10 2010: Version 1.05 released. It is now possible to parse DP problems from *.trs files (a DP uses ->t instead of ->).
May 20 2010: Version 1.04 released (to compile with ocaml 3.11.2)
March 12 2010: Version 1.03 released (needed for MiniSmt)
Jan 1 2010: The sources of version 1.02 are now available. This version contains several new techniques such as match-bounds, root-labeling, subterm-criterion, and improved dependency graphs.
Jun 25 2009: The sources of version 1.0 are now available. A version containing match-bounds, root-labeling, and subterm-criterion is under preparation. These methods have been available in older versions.