Skip to content

logic analysis passes — balance, AIG/MIG conversion, cut enumeration . Co-authored with Claude Opus 4.8 and sonnet 4.6 - #7

Open
ranaumarnadeem wants to merge 3 commits into
Coloquinte:mainfrom
ranaumarnadeem:main
Open

logic analysis passes — balance, AIG/MIG conversion, cut enumeration . Co-authored with Claude Opus 4.8 and sonnet 4.6#7
ranaumarnadeem wants to merge 3 commits into
Coloquinte:mainfrom
ranaumarnadeem:main

feat: add Majority-Inverter Graph (MIG) conversion and related optimi…

6915ad0
Select commit
Loading
Failed to load commit list.
Codacy Production / Codacy Static Code Analysis succeeded Jun 19, 2026 in 0s

Your pull request is up to standards!

Codacy found no issues in your code