[Termtools] Software and Categories Installed

[René Thiemann]

Dear all,

we just want to inform, that the outstanding software requests have  
been satisfield (knitro and mathematica), and that the higher-order  
category is now also available.

More details on the configuration of the server used for the 2010- 
competition are available at:

http://termcomp.uibk.ac.at/2010

Best regards,
Simon and 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