GitHub repository: popo55668/Exact-Synthesis
Primary language: C++
Description: Package for generating minimum-size 4-input majority-inverter graphs (MIGs)