Projects in Awesome Lists tagged with logic-optimization

A curated list of projects in awesome lists tagged with logic-optimization .

• Sort

  • Recently synced
  • Stars

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