https://github.com/hriener/aig

C++ header-only And-Inverter graph (AIG) library
https://github.com/hriener/aig

logic-gates logic-optimization logic-synthesis verification

Last synced: about 2 months ago
JSON representation

C++ header-only And-Inverter graph (AIG) library

• Host: GitHub
• URL: https://github.com/hriener/aig
• Owner: hriener
• License: mit
• Created: 2018-03-10T16:56:22.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2018-03-26T13:56:11.000Z (about 7 years ago)
• Last Synced: 2025-02-03T11:50:46.921Z (4 months ago)
• Topics: logic-gates, logic-optimization, logic-synthesis, verification
• Language: C++
• Homepage:
• Size: 162 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
[![Build Status](https://travis-ci.org/hriener/aig.svg?branch=master)](https://travis-ci.org/hriener/aig)

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

# aig

aig is a C++ header-only library for the representation of And-Inverter Graphs (AIG).