[Termination tools] problem database for logic programs?

[Claude Marche]

>>>>> "slucas" == slucas  <slucas at dsic.upv.es> writes:

    slucas> Mensaje citado por Claude Marche <Claude.Marche at lri.fr>:
    >> There is no deadline for sending new problems to be added to the TPDB,
    >> it can be done at any time. 

    slucas> Should I also explicitly send the two collections of problems
    slucas> I sent you to the list?

No, please.
I've received several sets of examples for different persons recently,
I did not have time yet to put them in the base, I will do it asap, so
every body could get them from 

http://www.lri.fr/~marche/wst2004-competition/tpdb/



-- 
| Claude Marché           | mailto:Claude.Marche at lri.fr |
| LRI - Bât. 490          | http://www.lri.fr/~marche/  |
| Université de Paris-Sud | phoneto: +33 1 69 15 64 85  |
| F-91405 ORSAY Cedex     | faxto: +33 1 69 15 65 86    |