\subsection{Modular and re-useable software}


To increase participation in future termination competitions,
new entrants need help in passing the ``entry barrier''.

Current participants are therefore encouraged
to publish re-usable libraries for common but ``boring'' tasks
like parsing the problem input, printing proof output,
applying standard transformations,
and calling standard constraint solvers.
Based on that, it is easier for new participants
to concentrate on implementing fresh ideas.

E.g., in the complexity categories,
the new participants  \CAT\ and \TCT\ use libraries from \TTTT,
so they benefitted from previous implementation efforts.
Continuing in this fashion, both tools are (partly) 
open source under the GNU Lesser General Public License,
and their source code is available from
the respective web pages. 
