epfl-lara/ScalaZ3 — pull request #38 by koksal (2014-05-12 09:41:43+00:00)
Title: Fix OS X dynamic library naming issues.

Here is a version with fixed library extraction on OS X. We had to address naming issues with both libz3.dylib and the generated libscalaz3.dylib.