Hi,
Is the CMBC license an acceptable license for Fedora?
http://www.cprover.org/cbmc/LICENSE
If not, what needs to be done to make it acceptable for Fedora?
Appreciate any inputs in this regard.
Thanks!
SK
--
Shakthi Kannan
http://www.shakthimaan.com