SRC +=    src/opt/nwk/nwkAig.c \
    src/opt/nwk/nwkCheck.c \
    src/opt/nwk/nwkBidec.c \
    src/opt/nwk/nwkDfs.c \
    src/opt/nwk/nwkFanio.c \
    src/opt/nwk/nwkFlow.c \
    src/opt/nwk/nwkMan.c \
    src/opt/nwk/nwkMap.c \
    src/opt/nwk/nwkMerge.c \
    src/opt/nwk/nwkObj.c \
    src/opt/nwk/nwkSpeedup.c \
    src/opt/nwk/nwkStrash.c \
    src/opt/nwk/nwkTiming.c \
    src/opt/nwk/nwkUtil.c
