[Termtools] Deadline and Submission of new examples

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Thu Oct 30 09:01:02 CET 2008


Dear all,

do we have any submitters of problems (secret or not)?

A student of mine has a set of 10 standard SRS problems
(that Matchbox cannot solve, but his tool can - you'll see why)

This submission could be postponed (he already got his diploma)
but I'd like to have them in the data base (at some time),
and his tool in the competition (now).

Best regards, Johannes.





-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081030/d9249147/attachment.pgp 


More information about the Termtools mailing list