psuter/ScalaZ3 — pull request #11 by thorstent (2012-10-29 10:42:30+00:00)
Title: Added several methods to the API

Tested and working as expected on my machine.