gipsyh-aiger (cargo): AIGER (And-Inverter graph) file format parser
Keywords: aig|aiger