epfl-lara/ScalaZ3 — pull request #37 by MikaelMayer (2014-05-06 10:10:46+00:00)
Title: New scalaZ3.dll version (release)

Here is the new scalaZ3.dll version.
Sorry if this pull request takes previous commits with it. I tried to update from remote but it did not change anything.