SRC +=    src/aig/dar/darBalance.c \
    src/aig/dar/darCheck.c \
    src/aig/dar/darCore.c \
    src/aig/dar/darCut.c \
    src/aig/dar/darData.c \
    src/aig/dar/darDfs.c \
    src/aig/dar/darLib.c \
    src/aig/dar/darMan.c \
    src/aig/dar/darMem.c \
    src/aig/dar/darObj.c \
    src/aig/dar/darOper.c \
    src/aig/dar/darSeq.c \
    src/aig/dar/darTable.c \
    src/aig/dar/darTruth.c \
    src/aig/dar/darUtil.c