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.