On 01/03/2012 04:35 PM, John C. Peterson wrote: > "But it has obtained several interesting results, and we have decided > to make it available (including the source code) to everyone, with no > restrictions (and of course no warranty)." > > The page itself is here: http://www.cs.unm.edu/~mccune/eqp/ > > Unfortunately, the source code tarball itself contains nothing to > clarify further the copyright, license terms. Obviously, the path of > least resistance would be to contact the author for clarification. IMHO, this is not sufficient to constitute a Free Software License, notably, because there is no clear permission to modify in the above statement. (Although it says "with no restrictions", the way that copyright law works in the US is that the copyright holder must explicitly grant rights which are not offered by default, so in saying that there are no restrictions, they are merely stating that the copyright holder is not applying any restrictions above and beyond what is automatically granted by 17 U.S.C.) I think contacting ANL would be the next step if you wished to pursue resolving this licensing issue. ~tom == Fedora Project _______________________________________________ legal mailing list legal@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/legal
