SRC +=    src/aig/nwk/nwkCheck.c \
    src/aig/nwk/nwkDfs.c \
    src/aig/nwk/nwkFanio.c \
    src/aig/nwk/nwkMan.c \
    src/aig/nwk/nwkMerge.c \
    src/aig/nwk/nwkObj.c \
    src/aig/nwk/nwkUtil.c