Hi,
--- On Sat, Jan 12, 2013 at 9:53 AM, Richard Fontana
<rfontana(a)redhat.com> wrote:
| 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
updated accordingly.
http://www.cprover.org/cbmc/LICENSE
Thanks!
SK
--
Shakthi Kannan
http://www.shakthimaan.com