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/