marcelwa

marcelwa/aigverse

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

6 good first / help-wanted issues · Python · last activity Aug 3, 2026

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
marcelwa/aigverse
88

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

Python
#aig#aiger#logic-optimization#logic-synthesis#machine-learning#python#verilog
✨ Visualization 3 months ago
documentation enhancement help wanted good first issue
marcelwa/aigverse
88

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

Python
#aig#aiger#logic-optimization#logic-synthesis#machine-learning#python#verilog
marcelwa/aigverse
88

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
marcelwa/aigverse
88

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
marcelwa/aigverse
88

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
marcelwa/aigverse
88

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

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