/aig

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

Primary LanguageC++MIT LicenseMIT

Build Status License: MIT

aig

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