A Python library for working with logic networks, synthesis, and optimization.

aig aiger logic-optimization logic-synthesis machine-learning python verilog
2 Open Issues Need Help Last updated: Sep 11, 2025

Open Issues Need Help

View All on GitHub
enhancement help wanted good first issue

A Python library for working with logic networks, synthesis, and optimization.

Python
#aig#aiger#logic-optimization#logic-synthesis#machine-learning#python#verilog

AI Summary: Implement pickle support for the TruthTable class in the aigverse Python library, allowing for serialization and deserialization of TruthTable objects to overcome the current 'Truth Table object cannot be pickled' error.

Complexity: 3/5
enhancement help wanted good first issue

A Python library for working with logic networks, synthesis, and optimization.

Python
#aig#aiger#logic-optimization#logic-synthesis#machine-learning#python#verilog