--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on January 2012 ---
Hello Yannick, On Mon, Jan 16, 2012 at 10:18 AM, Yannick Moy <moy at adacore.com> wrote: > It would be > useful for potential industrial users to say a few words on the licensing > conditions for these external provers. (In case you don't know it yet, Z3 > is now > available at around 15,000$ for industrial use.) > Do you have a reliable source for that information? For instance, do you know where one can read the license and terms one gets for $15000? I am not directly interested, but still curious about that... (http://blog.frama-c.com/index.php?post/2011/12/23/Z3-in-Microsoft-Store ) Pascal -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120116/8d352ad0/attachment.htm>