SRC +=    src/aig/dar/darBalance.c \
    src/aig/dar/darCore.c \
    src/aig/dar/darCut.c \
    src/aig/dar/darData.c \
    src/aig/dar/darLib.c \
    src/aig/dar/darMan.c \
    src/aig/dar/darPrec.c \
    src/aig/dar/darRefact.c \
    src/aig/dar/darResub.c \
    src/aig/dar/darScript.c