SRC +=    src/aig/int/intCheck.c \
    src/aig/int/intContain.c \
    src/aig/int/intCore.c \
    src/aig/int/intCtrex.c \
    src/aig/int/intDup.c \
    src/aig/int/intFrames.c \
    src/aig/int/intInter.c \
    src/aig/int/intM114.c \
    src/aig/int/intM114p.c \
    src/aig/int/intMan.c \
    src/aig/int/intUtil.c