smtlib-backends-tests-0.2: CHANGELOG.md

# v0.2
- remove `(exit)` commands at the end of sources
- make library compatible with `smtlib-backends-0.2`