# 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](index.html.md): aigverse: A Python Library for Logic Networks, Synthesis, and Optimization.
- [aigverse.abc](abc/index.html.md): Bridge to the external ABC logic synthesis system.
- [aigverse.abc.gia](abc/gia/index.html.md): The ABC9 (`&`-space) commands, run on ABC’s GIA store.
- [aigverse.adapters](adapters/index.html.md): aigverse adapters for ML tasks.
- [aigverse.adapters.networkx](adapters/networkx/index.html.md): AIG to NetworkX adapter.
- [aigverse.algorithms](algorithms/index.html.md): Provides synthesis and optimization algorithms for logic network types.
- [aigverse.benchmarks](benchmarks/index.html.md): Standard benchmark suites for logic synthesis.
- [aigverse.generators](generators/index.html.md): Provides generators for random and structured benchmark construction.
- [aigverse.io](io/index.html.md): Provides file import and export functions for logic networks.
- [aigverse.networks](networks/index.html.md): Provides logic network data structures and derived views.
- [aigverse.utils](utils/index.html.md): Provides utility data structures and functions.

## Optional

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