easy easy is a C++ library for verification and synthesis of exclusive-or sum-of-product (ESOP) forms. Read the full documentation.