SRC += src/opt/sfm/sfmArea.c \ src/opt/sfm/sfmCnf.c \
src/opt/sfm/sfmCore.c \
src/opt/sfm/sfmDec.c \
src/opt/sfm/sfmLib.c \
src/opt/sfm/sfmNtk.c \
src/opt/sfm/sfmSat.c \
src/opt/sfm/sfmTim.c \ src/opt/sfm/sfmMit.c \
src/opt/sfm/sfmWin.c