Projects in Awesome Lists tagged with logic-optimization
A curated list of projects in awesome lists tagged with logic-optimization .
https://github.com/marcelwa/aigverse
A Python library for working with logic networks, synthesis, and optimization.
aig aiger logic-optimization logic-synthesis machine-learning python verilog
Last synced: 31 Jul 2025
https://github.com/coloquinte/quaigh
Logic circuit analysis and optimization
atpg equivalence-checking logic-optimization
Last synced: 07 Apr 2025
https://github.com/hriener/aig
C++ header-only And-Inverter graph (AIG) library
logic-gates logic-optimization logic-synthesis verification
Last synced: 29 Mar 2025
