8000 GitHub - hriener/easy: C++ header-only ESOP library · GitHub

Repository navigation

easy

Public

About

C++ header-only ESOP library

boolean-function esop-forms logic-synthesis xor

16 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
docs		docs
examples		examples
experiments		experiments
include		include
lib		lib
test		test
.clang-format		.clang-format
.gitignore		.gitignore
.gitmodules		.gitmodules
.readthedocs.yml		.readthedocs.yml
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
README.md		README.md
easy.svg		easy.svg

Repository files navigation

easy

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

Read the full documentation.

About

C++ header-only ESOP library

boolean-function esop-forms logic-synthesis xor

16 stars

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages

0