SRC +=    src/aig/ivy/ivyBalance.c \
    src/aig/ivy/ivyCanon.c \
    src/aig/ivy/ivyCheck.c \
    src/aig/ivy/ivyCut.c \
    src/aig/ivy/ivyCutTrav.c \
    src/aig/ivy/ivyDfs.c \
    src/aig/ivy/ivyDsd.c \
    src/aig/ivy/ivyFanout.c \
    src/aig/ivy/ivyFastMap.c \
    src/aig/ivy/ivyFraig.c \
    src/aig/ivy/ivyHaig.c \
    src/aig/ivy/ivyMan.c \
    src/aig/ivy/ivyMem.c \
    src/aig/ivy/ivyMulti.c \
    src/aig/ivy/ivyObj.c \
    src/aig/ivy/ivyOper.c \
    src/aig/ivy/ivyResyn.c \
    src/aig/ivy/ivyRwr.c \
    src/aig/ivy/ivySeq.c \
    src/aig/ivy/ivyShow.c \
    src/aig/ivy/ivyTable.c \
    src/aig/ivy/ivyUtil.c