psuter/ScalaZ3 — pull request #2 by vo1stv (2012-03-11 15:29:22+00:00)
Title: Load system DLLs directly from user.dir if present.

I found this change useful for debugging the system. It provides the cross-platform user with the advanced option to extract the files from the JAR file and work more directly with the source code until they are comfortable with whatever method their IDE and host system uses to locate external libraries and packages.