Aigverse

What's Changed
* :white_check_mark: Added more tests for `to_edge_list` by marcelwa in https://github.com/marcelwa/aigverse/pull/14
* :sparkles: Added `sop_refactoring` to the available AIG optimization algorithms by marcelwa in https://github.com/marcelwa/aigverse/pull/15
* :sparkles: Added AIG cut rewriting to the optimization algorithms by marcelwa in https://github.com/marcelwa/aigverse/pull/16


**Full Changelog**: https://github.com/marcelwa/aigverse/compare/v0.0.7...v0.0.8

What's Changed
* ⬆️ Bump the submodules group with 2 updates by dependabot in https://github.com/marcelwa/aigverse/pull/11
* ⬆️ Bump libs/pybind11 from `5efc743` to `ef5a956` in the submodules group by dependabot in https://github.com/marcelwa/aigverse/pull/12
* :sparkles: Added `num_levels()` to AIGs by marcelwa in https://github.com/marcelwa/aigverse/pull/13

New Contributors
* dependabot made their first contribution in https://github.com/marcelwa/aigverse/pull/11

**Full Changelog**: https://github.com/marcelwa/aigverse/compare/v0.0.6...v0.0.7

What's Changed
* :bookmark: Bump version to 0.0.6 by marcelwa in https://github.com/marcelwa/aigverse/pull/10


**Full Changelog**: https://github.com/marcelwa/aigverse/compare/v0.0.5...v0.0.6

What's Changed
* :bug: Fix resubstitution by removing dangling nodes by marcelwa in https://github.com/marcelwa/aigverse/pull/9


**Full Changelog**: https://github.com/marcelwa/aigverse/compare/v0.0.4...v0.0.5

What's Changed
* :sparkles: Introduced AIG equivalence checking and AIG resubstitution by marcelwa in https://github.com/marcelwa/aigverse/pull/7
* :bookmark: Bumped version to 0.0.4 by marcelwa in https://github.com/marcelwa/aigverse/pull/8


**Full Changelog**: https://github.com/marcelwa/aigverse/compare/v0.0.3...v0.0.4

What's Changed
* :sparkles: Added support for parsing ASCII AIGER files and writing AIGER files by marcelwa in https://github.com/marcelwa/aigverse/pull/5
* :sparkles: Convert AIGs to edge lists by marcelwa in https://github.com/marcelwa/aigverse/pull/6


**Full Changelog**: https://github.com/marcelwa/aigverse/compare/v0.0.2...v.0.0.3