AIGER.md

Format for And-Inverter Graphs (AIGs)

URIs (github, websites, etc.):

http://fmv.jku.at/aiger/ https://github.com/arminbiere/aiger

Comments

AIGER is a format, library and set of utilities for And-Inverter Graphs (AIGs).

Meta

:: no PV :: Specification format :: Source :: https://doi.org/10.1145/3550355.3552426