# aiger
AIGER (And-Inverter graph) file format parser