epfl-lara/ScalaZ3 — pull request #31 by MikaelMayer (2014-04-24 13:24:15+00:00)
Title: Added scalaz3.dll for x64 + instructions

I added the instructions for windows x64 to compile scalaZ3 but also released my dll.
This does not work with cygwin anymore so we are free from cygwin1.dll