AIGER (And-Inverter graph) file format parser
Fork from https://github.com/the6p4c/aiger, and add more.