[Termtools] New TPDB available

[René Thiemann]

Dear all,

the new version of TPDB (8.0.3) is now available on termcomp. It contains all new problems that have been submitted to the SC. Thanks to all the contributors.

http://termcomp.uibk.ac.at/status/downloads/tpdb-current-exported.tar.gz

or just 

http://termcomp.uibk.ac.at (and search for TPDB)

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