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
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
Contributors
dobios and adwait