[Termtools] Termination Problem Database Licence

[Aubert, Clement]

Hello,

Under what license is provided the TPDB
(http://termination-portal.org/wiki/TPDB)?
I looked in the wiki and mercurial rep., but couldn't find a single
mention of a license…

Thanks!
Clément.

-- 
Clément Aubert, Assistant Professor of Computer Science,
School of Computer and Cyber Sciences, Augusta University,
spots.augusta.edu/caubert/