---
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
- Subject: [Frama-c-discuss] Microsoft Z3 MIT licensed now
- From: dmentre at linux-france.org (David MENTRÉ)
- Date: Fri, 27 Mar 2015 05:39:10 +0100
- In-reply-to: <CAAS2fgSG=0RzSXwqbbFrteqJGi6L=z0P+m6-iXtPvAy4Z1svDg@mail.gmail.com>
- References: <CAAS2fgSG=0RzSXwqbbFrteqJGi6L=z0P+m6-iXtPvAy4Z1svDg@mail.gmail.com>
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