percy

percy is a header-only exact synthesis library. It offers a collection of different synthesizers and exact synthesis methods for use in applications such as circuit resynthesis and design exploration.

Read the documentation here.

EPFL logic sythesis libraries

percy is part of the EPFL logic synthesis libraries. The other libraries and several examples on how to use and integrate the libraries can be found in the logic synthesis tool showcase.