module.make 288 Bytes
Newer Older
Alan Mishchenko committed
1 2 3
SRC +=  src/opt/cut/cutApi.c \
        src/opt/cut/cutCut.c \
        src/opt/cut/cutMan.c \
Alan Mishchenko committed
4 5
        src/opt/cut/cutMerge.c \
        src/opt/cut/cutNode.c \
Alan Mishchenko committed
6 7
        src/opt/cut/cutOracle.c \
        src/opt/cut/cutPre22.c \
Alan Mishchenko committed
8 9
        src/opt/cut/cutSeq.c \
        src/opt/cut/cutTruth.c