# v0.2 - make test-suite compatible with `smtlib-backends-0.2` - add usage examples in the test-suite