easy

June 14, 2020 ยท View on GitHub

Actions Status Actions Status Actions Status Coverage Status Documentation Status License: MIT

easy

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

Read the full documentation.