[Termtools] Termination Problem Database Licence

[Johannes Waldmann]

Hi.

> Under what license is provided the TPDB
> (http://termination-portal.org/wiki/TPDB)?

I am not aware that this question has ever been discussed.
Probably no-one cares because there's no way to monetize TPDB.

I was checking SMTLIB http://smtlib.cs.uiowa.edu/credits.shtml
and TPTP http://tptp.cs.miami.edu/~tptp/
(the TPTP page has references to more benchmark libraries)
and it seems they don't have formal licenses either.

So, I think all of these can be used and cited
like you would any other scientific publication.

Do you have an application in mind that would not be covered by this?

- Johannes.