--- layout: fc_discuss_archives title: Message 21 from Frama-C-discuss on March 2015 ---
Z3 has been changed from the strange "non-commercial use only" to an ordinary MIT license. https://github.com/Z3Prover/z3 [Sorry for this bit of OT-ness, but I thought it would be highly relevant to most users of frama-c]