[Termination tools] Contest Entry, Organisation, Syntax

[Johannes Waldmann]

Dear Claude,

here is a prototype of the Matchbox program
http://theo1.informatik.uni-leipzig.de/matchbox/download/
(version of today, 2004-04-02) that implements the contest specs
(it expects a file name, and writes YES/NO/UNKNOWN)

The program always expects a file name "*.trs", is this OK?
(because it will also recognize "*.srs")

Will you at least re-name the files randomly for the competition?
Otherwise it's just too easy ...

NB: is the syntax in tpdb/SK90/* OK?
there are some files with infix operators (2.13, 2.30 ..)

Best regards,
-- 
-- Johannes Waldmann,  Tel/Fax: (0341) 3076 6479 / 6480 --
------ http://www.imn.htwk-leipzig.de/~waldmann/ ---------