--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on March 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Microsoft Z3 MIT licensed now



Hello,

Le 2015-03-27 05:28, Gregory Maxwell a ?crit :
> Z3 has been changed from the strange "non-commercial use only" to an
> ordinary MIT license.
>
> https://github.com/Z3Prover/z3

Very good and interesting news indeed. Thanks!

david