[isabelle-dev] Releasing the Z3 source code

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Tue Oct 9 16:59:53 CEST 2012

Am 09.10.2012 um 16:27 schrieb Lawrence Paulson:

> I haven't studied the conditions in detail, but apparently the new licence for Z3 allows redistribution. And I imagine that allows it to be distributed as Isabelle component of sledgehammer.

We already had the explicit permission from the developers to distribute Z3, which explains why it's bundled with e.g. Isabelle2012. As before, we still cannot enable it without a "Z3_NON_COMMERCIAL" environment variable. Making the sources available at all is certainly a step in the right direction for Z3, but it doesn't impact us much.


More information about the isabelle-dev mailing list