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