psuter/ScalaZ3 — pull request #21 by colder (2013-02-22 15:18:26+00:00)
Title: Implement Z3Context.onError, called when z3 errors out.

Implements a callback for Z3 fatal errors. C will call Java's Z3Wrapper.onError which will dispatch to the right Z3Context.onError