Changelog of @hackage/smtlib-backends-z3 0.2

v0.2

  • make test-suite compatible with smtlib-backends-0.2
  • add usage examples in the test-suite