AIGMOD AIGER output modifying tool

The AIGMOD tool is an extension to the AIGER 1.9.4 toolset. It consists of two files, a C file and a Makefile. One must set the correct path to the AIGER 1.9.4 toolset files in the Makefile.
aigmod.cC-file implementing AIGMOD.
MakefileMakefile for AIGMOD.