SRC +=    src/temp/aig/aigBalance.c \
    src/temp/aig/aigCheck.c \
    src/temp/aig/aigDfs.c \
    src/temp/aig/aigMan.c \
    src/temp/aig/aigMem.c \
    src/temp/aig/aigObj.c \
    src/temp/aig/aigOper.c \
    src/temp/aig/aigTable.c \
    src/temp/aig/aigUtil.c