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