aiger

AIGER (And-Inverter graph) file format parser