SRC +=  src/opt/cut/cutApi.c \
        src/opt/cut/cutCut.c \
        src/opt/cut/cutMan.c \
        src/opt/cut/cutMerge.c \
        src/opt/cut/cutNode.c \
        src/opt/cut/cutOracle.c \
        src/opt/cut/cutPre22.c \
        src/opt/cut/cutSeq.c \
        src/opt/cut/cutTruth.c