psuter/ScalaZ3 — pull request #19 by colder (2012-12-13 15:00:32+00:00)
Title: Deprecate softCheckCancel, replaced by interrupt

Deprecate softCheckCancel