psuter/ScalaZ3 — pull request #14 by 10shb (2012-11-18 02:32:58+00:00)
Title: CheckAssumptions

Very small change -- just added checkAssumptions(), checkWithAssumptionsNoModel() to Java API. I have been using this in a tool of mine for awhile now and it seems to work.