epfl-lara/ScalaZ3 — pull request #34 by camon (2014-04-26 13:34:02+00:00)
Title: Update Z3Wrapper.java

There was a compilation error due to a missing ";", also added a static variable for z3 lib name, in a similar way to the static variable LIB_NAME, also commented two unused lines