The CVC3 project [1] has a license [2] that is mostly New BSD (no
advertising), but differs from it in a few ways. In particular, I am
concerned about clause #3. Is this license acceptable for Fedora?
Thank you.
[1]
http://www.cs.nyu.edu/acsys/cvc3/
[2]
http://www.cs.nyu.edu/acsys/cvc3/doc/LICENSE.html
--
Jerry James
http://loganjerry.googlepages.com/