0.9.7: `newSolverNotify` has a callback when solver quits 0.9.6: Suport for quoated symbols and recursive functions 0.9.5: Expose `loadString` 0.9.4: Add `toInt` and `toReal` 0.9.3: Fix incorrect rendering or `real` literals 0.9.2: add ppSExpr 0.9: Support for working with unsat-cores 0.8: Support for declare; loading of strings/files; more sugar for SMT commands 0.6.0: Allow finer-grained logging 0.5.5: Add support for unsupported results 0.5.3: Add 'zeroExtend' and 'signExtend' 0.5.2: Fix right shift 0.5.1: Add 'define' commands 0.5: Adds more bit-wise operations 0.4: Fixes definiiton of `geq`