# aigverse

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


2025, Marcel Walter, Technical University of Munich

## Pages

- [`aigverse` - A Python Library for Logic Networks, Synthesis, and Optimization](index.html.md): \\begin{abstract}
- [Installation](installation.html.md): `aigverse` wraps mature C/C++ synthesis backends from the EPFL Logic Synthesis Libraries with an idi...
- [And-Inverter Graphs (AIGs)](aigs.html.md): The central data structure for working with And-Inverter Graphs (AIGs) in aigverse is the `Aig` clas...
- [Truth Tables](truth_tables.html.md): The aigverse library provides support for working with truth tables, which are a fundamental represe...
- [Algorithms](algorithms.html.md): This section covers the various algorithms available in aigverse for working with And-Inverter Graph...
- [Generators](generators.html.md): The `generators` module provides generation helpers for reproducible random dataset creation and
- [Benchmarks](benchmarks.html.md): Experiments need circuits. `aigverse` can fetch standard benchmark suites on demand and
- [ABC Integration](abc.html.md): Beyond the built-in optimization algorithms, `aigverse` can hand a network to
- [Machine Learning Integration](machine_learning.html.md): Many ML and data science workflows are Python-first, while mature logic synthesis data structures an...
- [Visualization](visualization.html.md): Logic synthesis is inherently structural, and visualizing an AIG is one of the fastest ways to debug...
- [Changelog](CHANGELOG.html.md): All notable changes to this project will be documented in this file.
- [Upgrade Guide](UPGRADING.html.md): This document describes breaking changes and how to upgrade.
- [Contributing](contributing.html.md): Thank you for your interest in contributing to this project.
- [Support & Consulting](support.html.md): If you are stuck with a problem using `aigverse` or have questions, please get in touch at our Issue...
- [Development Guide](DevelopmentGuide.html.md): Ready to contribute to the project? This guide will get you started.
- [aigverse](api/aigverse/index.html.md): aigverse: A Python Library for Logic Networks, Synthesis, and Optimization.
- [aigverse.abc](api/aigverse/abc/index.html.md): Bridge to the external ABC logic synthesis system.
- [aigverse.abc.gia](api/aigverse/abc/gia/index.html.md): The ABC9 (`&`-space) commands, run on ABC’s GIA store.
- [aigverse.adapters](api/aigverse/adapters/index.html.md): aigverse adapters for ML tasks.
- [aigverse.adapters.networkx](api/aigverse/adapters/networkx/index.html.md): AIG to NetworkX adapter.
- [aigverse.algorithms](api/aigverse/algorithms/index.html.md): Provides synthesis and optimization algorithms for logic network types.
- [aigverse.benchmarks](api/aigverse/benchmarks/index.html.md): Standard benchmark suites for logic synthesis.
- [aigverse.generators](api/aigverse/generators/index.html.md): Provides generators for random and structured benchmark construction.
- [aigverse.io](api/aigverse/io/index.html.md): Provides file import and export functions for logic networks.
- [aigverse.networks](api/aigverse/networks/index.html.md): Provides logic network data structures and derived views.
- [aigverse.utils](api/aigverse/utils/index.html.md): Provides utility data structures and functions.