What's Changed
- ✅ Added more tests for
to_edge_list
by @marcelwa in #14
- ✨ Added
sop_refactoring
to the available AIG optimization algorithms by @marcelwa in #15
- ✨ Added AIG cut rewriting to the optimization algorithms by @marcelwa in #16
Full Changelog: v0.0.7...v0.0.8