psuter/ScalaZ3 — pull request #12 by thorstent (2012-11-03 17:12:31+00:00)
Title: Added some functionality to the API

Please review and approve. Thanks.