On 01/13/2013 10:07 AM, Shakthi Kannan wrote:
--- On Sat, Jan 12, 2013 at 9:53 AM, Richard Fontana
| 5. We must be notified by email at kroening(a)cs.cmu.edu after you install
| the program for any purpose.
| would have to be deleted.
Upstream has agreed to remove the clause, and their svn code has been
It is now BSD with Advertising. Free but GPL-Incompatible.