GitHub repository: panhomyoung/phyLS
Primary language: C++
Description: A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Verification""