v0.3.0

What's Changed

• Add CI testing by @Paul-Saves in #12
• Bump actions/upload-artifact from 4 to 6 by @dependabot[bot] in #11
• Bump actions/checkout from 4 to 6 by @dependabot[bot] in #9
• Bump actions/setup-python from 5 to 6 by @dependabot[bot] in #6
• Bump actions/upload-artifact from 6 to 7 by @dependabot[bot] in #14
• Bump actions/download-artifact from 4 to 8 by @dependabot[bot] in #13
• prepare release by @Paul-Saves in #15

Full Changelog: v0.2.0...v0.3.0

v0.2.0

Make smt-ex compatible with smt 2.8.0

v0.0.1

First version to be setup on PyPI.