blob: 132e730b5ca49a7799501841366f078ed96f3b11 [file] [log] [blame]
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