release v0.1.2

[v0.1.2](v0.1.1...v0.1.2) (2025-10-18)
Improvements:
* Balance Formula in Expression Conversion (#7) by [@maennchen](https://github.com/maennchen) [(#7)](#7)
* Exhaustive Expression.expand/2 short-circuits (#5) by [@maennchen](https://github.com/maennchen) [(#5)](#5)
* enhance idempotent law to handle nested expressions (#6) by [@zachdaniel](https://github.com/zachdaniel) [(#6)](#6)
* Remove CommutativityLaw in Simplify (#4) by [@maennchen](https://github.com/maennchen) [(#4)](#4)
* Improve SAT Implementations in Testing (#3) by [@maennchen](https://github.com/maennchen) [(#3)](#3)

release v0.1.1

[v0.1.1](v0.1.0...v0.1.1) (2025-10-15)
Bug Fixes:
* Properly Handle Boolean Expressions (#2) by [@maennchen](https://github.com/maennchen) [(#2)](#2)

release v0.1.0

[v0.1.0](v0.1.0...v0.1.0) (2025-10-15)