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

aig aiger logic-optimization logic-synthesis machine-learning python verilog
6 Open Issues Need Help Last updated: Aug 3, 2026

Open Issues Need Help

View All on GitHub
bug documentation help wanted build_system

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

Python
#aig#aiger#logic-optimization#logic-synthesis#machine-learning#python#verilog
documentation 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

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

Python
#aig#aiger#logic-optimization#logic-synthesis#machine-learning#python#verilog
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
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