Changelog of @hackage/simple-smt 0.9.1

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