1SRC += src/opt/cut/cutApi.c \ 2 src/opt/cut/cutCut.c \ 3 src/opt/cut/cutMan.c \ 4 src/opt/cut/cutMerge.c \ 5 src/opt/cut/cutNode.c \ 6 src/opt/cut/cutOracle.c \ 7 src/opt/cut/cutPre22.c \ 8 src/opt/cut/cutSeq.c \ 9 src/opt/cut/cutTruth.c 10