[Termtools] Download of termination tools

[René Thiemann]

Dear all,

as announced before the competition, we now prepared a website where one can download
the current termination/complexity/certification tools. To be more precise, for every
tool where "make publicly available" is checked, its "selected version" is listed on this
page. So, tool maintainers can at any time replace the downloadable tool by choosing the
selected version and they can remove the tool by deactivating "make publicly available".

Note that all tools have usually been optimized for the competition platform, i.e., for
a machine with 16 cores and 64 GB of RAM. For more standard configurations, please contact
the authors of the tools directly.

http://termcomp.uibk.ac.at/termcomp/competition/downloadableTools.seam

Best regards,
René
-- 
René Thiemann                    mailto:rene.thiemann at uibk.ac.at
Computational Logic Group        http://cl-informatik.uibk.ac.at/~thiemann/
Institute of Computer Science    phone: +43 512 507-6434
University of Innsbruck