marcelwa/aigverse

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

21 stars 0 forks 0 watchers Python

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

View on GitHub

1 Open Issue Need Help Last updated: Jun 21, 2025

Open Issues Need Help

View All on GitHub

✨ Pickle support for truth tables. 3 months ago

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

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

Python

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