Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
aigverse 0.1.2.dev4 documentation
Light Logo Dark Logo
aigverse 0.1.2.dev4 documentation
  • aigverse - A Python Library for Logic Networks, Synthesis, and Optimization

User Guide

  • Installation
  • And-Inverter Graphs (AIGs)
  • Truth Tables
  • Algorithms
  • Generators
  • Machine Learning Integration

Developers

  • Contributing
  • Support & Consulting
  • Development Guide

Python API Reference

  • aigverse
    • aigverse.adapters
      • aigverse.adapters.networkx
    • aigverse.algorithms
    • aigverse.generators
    • aigverse.io
    • aigverse.networks
    • aigverse.utils
Back to top
View this page
Edit this page

aigverse¶

aigverse: A Python Library for Logic Networks, Synthesis, and Optimization.

Submodules¶

  • aigverse.adapters
  • aigverse.algorithms
  • aigverse.generators
  • aigverse.io
  • aigverse.networks
  • aigverse.utils

Package Contents¶

__version__: str¶
Next
aigverse.adapters
Previous
Development Guide
Copyright © 2025, Marcel Walter, Technical University of Munich
Made with Sphinx and @pradyunsg's Furo
On this page
  • aigverse
    • Submodules
    • Package Contents
      • __version__