[Termtools] Competition: updates

[Jörg Endrullis]

Dear Claude,

I have just looked at the qualification round. Jambox has a problem with
"qualif - no", since this is no TRS. I already asked on Friday if this
was a problem and I should submit a patched version of Jambox, but did
not yet receive an answer. Now I see that TTTbox was patched to handle
"qualif - no" correctly.

Attached is a patched version of Jambox. The only difference to the
version sumbitted on Thursday is a check that all variables in the right
hand side occur in the left hand side. (if not, Jambox terminates with
MAYBE) Please replace the .jar file in the "lib" directory with the
attached one.

Kind regards,
Jörg

Claude Marche wrote:
> Dear all,
> 
> Please find below a list of changes I made since my last mail. 
> 
> Please check that the installed version of your tool is the right one:
> click on the tool name and follow the link 'tool binary executable'.
> 
> I listed also a few changes I made on the TPDB, from your remarks
> 
> I listed the number of secret pbs I collected. If I missed some,
> please send them again.
> 
> 
> - Claude
> 
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: jambox2e.jar
Type: application/x-java-archive
Size: 259157 bytes
Desc: not available
Url : http://lists.lri.fr/pipermail/termtools/attachments/20060610/63216e98/jambox2e.jar