| SRC += src/opt/nwk/nwkAig.c \ | |
| src/opt/nwk/nwkCheck.c \ | |
| src/opt/nwk/nwkBidec.c \ | |
| src/opt/nwk/nwkDfs.c \ | |
| src/opt/nwk/nwkFanio.c \ | |
| src/opt/nwk/nwkFlow.c \ | |
| src/opt/nwk/nwkMan.c \ | |
| src/opt/nwk/nwkMap.c \ | |
| src/opt/nwk/nwkMerge.c \ | |
| src/opt/nwk/nwkObj.c \ | |
| src/opt/nwk/nwkSpeedup.c \ | |
| src/opt/nwk/nwkStrash.c \ | |
| src/opt/nwk/nwkTiming.c \ | |
| src/opt/nwk/nwkUtil.c |