| 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 |