Awesome
easy
<img src="https://cdn.rawgit.com/hriener/easy/master/easy.svg" width="64" height="64" align="left" style="margin-right: 12pt" />
easy is a C++ library for verification and synthesis of exclusive-or sum-of-product (ESOP) forms.
Read the full documentation.