SRC +=  src/aig/mfx/mfxCore.c \
    src/aig/mfx/mfxDiv.c \
    src/aig/mfx/mfxInter.c \
    src/aig/mfx/mfxMan.c \
    src/aig/mfx/mfxResub.c \
    src/aig/mfx/mfxSat.c \
    src/aig/mfx/mfxStrash.c \
    src/aig/mfx/mfxWin.c
