[Termination tools] participation to termination competition

[Isabelle Gnaedig]

Dear Claude,

No, we will not participate this year.

Best

Isabelle


Claude Marche wrote:

>Dear all,
>
>Until now, the following tools registered to the competition:
>
>Aprove
>CiME
>Matchbox
>TEPARLA
>TORPA
>TPA
>TTT
>
>I expected to have more participants :
>
>Cariboo
>Muterm
>
>authors of the 2 tools above, please send me a mail as soon as
>possible if you are willing to participate
>
>- Claude
>
>
>  
>