v0.1

Release 0.1.3

Available on pypi: https://pypi.org/project/btor2-opt/

Install

pip install btor2-opt

What's Changed

• Make all imports relative by @dobios in #6
• Fix CI by @dobios in #4
• Refactor and fixes for making this importable by @adwait in #2

New Contributors

• @dobios made their first contribution in #4
• @adwait made their first contribution in #2

Full Changelog: https://github.com/dobios/btor2-opt/commits/v0.1.0
Full Changelog: v0.1.1...v0.1.2
Full Changelog: v0.1.2...v0.1