GitHunt
HR

hriener/easy

C++ header-only ESOP library

boolean-functionesop-formslogic-synthesisxor

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.

Languages

C++95.8%C4.1%CMake0.1%

Contributors

HR
MIT License
Created January 1, 2018
Updated March 7, 2026