GitHunt
HR

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

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