Name		Name	Last commit message	Last commit date
bench		bench
include		include
lib		lib
test		test
.gitignore		.gitignore
.gitmodules		.gitmodules
.travis.yml		.travis.yml
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
README.md		README.md

Repository files navigation

aig

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

About

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

logic-gates logic-optimization logic-synthesis verification

3 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages