Changelog of @hackage/smtlib-backends 0.3

This release does not have a Changelog