epfl-lara/ScalaZ3 — pull request #33 by MikaelMayer (2014-04-25 13:58:12+00:00)
Title: Fixed the dependent library problem for scalaZ3

This needed a check to load libz3 if we are on windows.
Thanks Tiago for spotting that.