epfl-lara/ScalaZ3 — pull request #36 by camon (2014-04-27 20:30:08+00:00)
Title: Fixed the dependent library problem on W7 x64

So I pulled the last version and found a compilation error, there was a
missing ";", no big deal. Fixed that, tried again and got the same error
from the missing dependent library. Investigated a little further and
found out that scalaz3.dll also depends on another dll, "msvcr120d.dll",
a debug dll from visual studio 2013.

Patched "Build.scala" file to add the extra dll in "sbt packageBin" to
the jar file.

Patched "Z3Wrapper.java" to load the extra dll

Thanks

Best,
Tiago