SRC +=    src/aig/ioa/ioaReadAig.c \
    src/aig/ioa/ioaWriteAig.c \
    src/aig/ioa/ioaUtil.c