# aigverse

> aigverse is a Python library for working with logic networks, synthesis, and optimization.


2025, Marcel Walter, Technical University of Munich

## Pages in this subsection

- [aigverse.adapters](index.html.md): aigverse adapters for ML tasks.
- [aigverse.adapters.networkx](networkx/index.html.md): AIG to NetworkX adapter.

## Optional

- [Top-level llms.txt](../../../llms.txt): Complete documentation index.