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