Re: [isabelle] Z3 goes open

> I just learned of that, maybe it's interesting/new information for some on this list.

Well, it used to be "open" for some time already (with source code
available), but only under a "non-commercial" license. Now, it appears
to be truly free (as in: free to use for any purpose).

Anyway, as far as I can tell, there's no official announcement by
Microsoft Research yet. But one of the authors (de Moura) writes it on
his homepage: <>. My uneducated guess is
that it will become official by the next release (4.4) and finally, the
"z3_non_commercial" system option can go away :-)


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.