This distribution of Z3 3.2 was downloaded from

    http://research.microsoft.com/en-us/um/redmond/projects/z3/

(The Mac OS X version is advertised as 3.2.1 but the program
identifies itself as "Z3 version 3.2".)

The Cygwin version was copied from the "bin" directory of the standard
installation of Z3 on Windows. The "z3.exe" file was renamed
"z3-solver.exe", and the "z3" wrapper script was added (to convert
file paths), and the DLL file was set to be executable using "chmod".

Z3 is not open source, but it can be used and distributed for
noncommercial purposes, subject to the Microsoft Research License
Agreement (see "LICENSE"). To activate Z3 in Isabelle, you must set

    Z3_NON_COMMERCIAL="yes"

in the environment or in "$ISABELLE_HOME_USER/etc/settings".

Enjoy!


   Jasmin Blanchette
   2 May 2012

Based on earlier notes by

   Sascha Böhme
   19 September 2011
