https://github.com/hriener/easy

C++ header-only ESOP library
https://github.com/hriener/easy

boolean-function esop-forms logic-synthesis xor

Last synced: 2 months ago
JSON representation

C++ header-only ESOP library

• Host: GitHub
• URL: https://github.com/hriener/easy
• Owner: hriener
• License: mit
• Created: 2018-01-01T11:48:23.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2024-05-18T10:41:30.000Z (7 months ago)
• Last Synced: 2024-10-03T17:23:09.039Z (3 months ago)
• Topics: boolean-function, esop-forms, logic-synthesis, xor
• Language: C++
• Homepage:
• Size: 1.87 MB
• Stars: 10
• Watchers: 4
• Forks: 4
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
[![Actions Status](https://github.com/hriener/easy/workflows/Linux%20CI/badge.svg)](https://github.com/hriener/easy/actions)

[![Actions Status](https://github.com/hriener/easy/workflows/MacOS%20CI/badge.svg)](https://github.com/hriener/easy/actions)

[![Actions Status](https://github.com/hriener/easy/workflows/Windows%20CI/badge.svg)](https://github.com/hriener/easy/actions)

[![Coverage Status](https://coveralls.io/repos/github/hriener/easy/badge.svg?branch=master)](https://coveralls.io/github/hriener/easy?branch=master)

[![Documentation Status](https://readthedocs.org/projects/easy/badge/?version=latest)](http://easy.readthedocs.io/en/latest/?badge=latest)

[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)

# easy



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

[Read the full documentation.](http://easy.readthedocs.io/en/latest/?badge=latest)