--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on January 2012 ---
On 01/16/2012 10:37 AM, Pascal Cuoq 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 ) Hello Pascal, The license of Z3 is not available publicly. I know of someone who asked directly the developers of Z3 and got a copy. Maybe you can do the same? -- Yannick