Awesome
percy
<img src="https://cdn.rawgit.com/whaaswijk/percy/master/percy.svg" width="78" height="64" align="left" style="margin-right: 12pt" /> 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.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.