v0.2.2

Release 0.2.2

Small patch release that adds two new instructions.

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

Install

pip install btor2-opt

What's Changed

• Added srem and urem instructions by @sanchezocegueda in #16

Full Changelog: v0.2...v0.2.2