epfl-lara/ScalaZ3 — pull request #27 by colder (2013-10-18 13:28:07+00:00)
Title: Bundle libz3 within scalaz3.jar

The loading of the libz3 is now deterministic, no more LD_LIBRARY_PATH
needed. libscalaz3/libz3 are always expected to be extracted to
/SCALAZ3_.

Works on linux and mac, untested on windows.