v0.3

Release 0.3

Refactored the entire parser to improve performance

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

Install

pip install btor2-opt

What's Changed

• Better Parsing by @dobios in #17

Full Changelog: v0.2.2...v0.3