save AIGER format of AIGs
5 files changed