epfl-lara/ScalaZ3 — pull request #39 by koksal (2014-05-24 05:39:16+00:00)
Title: Update OS X jar release for Darwin Kernel 13.2.0.

The existing jar file doesn't work with the up-to-date OS X Kernel. I repackaged it so it works.

It would probably be good to also update the release (to v2.1.1?) with this new jar file, but I think I can't do that in a pull request.