/abc-aig-to-cnf-interpretation

This is the explaination of aig to cnf function in ABC.