What's the problem this feature will solve?
The mockturtle library that aigverse is based on offers various logic network implementations, including but not limited to MIGs, XAGs, and XMGs. However, currently only AIGs are exposed to aigverse. This is not a super urgent issue, though.
Describe the solution you'd like
Other network types can be exposed with minimal effort because aigverse/networks/logic_networks.hpp has been written with extensibility in mind. However, since each new network type would drastically increase the project's complexity in build times, documentation effort, and maintainability, new network types must be added carefully and thoughtfully. Right now, there's no need to do that.
What's the problem this feature will solve?
The
mockturtlelibrary thataigverseis based on offers various logic network implementations, including but not limited to MIGs, XAGs, and XMGs. However, currently only AIGs are exposed toaigverse. This is not a super urgent issue, though.Describe the solution you'd like
Other network types can be exposed with minimal effort because
aigverse/networks/logic_networks.hpphas been written with extensibility in mind. However, since each new network type would drastically increase the project's complexity in build times, documentation effort, and maintainability, new network types must be added carefully and thoughtfully. Right now, there's no need to do that.