GitHub repository: msoeken/percy
Primary language: C++
Description: A header-only exact synthesis library that takes advantage of DAG topology information