SRC +=    src/aig/csw/cswCore.c \
    src/aig/csw/cswCut.c \
    src/aig/csw/cswMan.c \
    src/aig/csw/cswTable.c