SRC +=	src/aig/aig/aigCheck.c \
	src/aig/aig/aigDfs.c \
	src/aig/aig/aigFanout.c \
	src/aig/aig/aigMan.c \
	src/aig/aig/aigMem.c \
	src/aig/aig/aigMffc.c \
	src/aig/aig/aigObj.c \
	src/aig/aig/aigOper.c \
	src/aig/aig/aigOrder.c \
	src/aig/aig/aigPart.c \
	src/aig/aig/aigRepr.c \
	src/aig/aig/aigRet.c \
	src/aig/aig/aigScl.c \
	src/aig/aig/aigSeq.c \
	src/aig/aig/aigTable.c \
	src/aig/aig/aigTime.c \
	src/aig/aig/aigTiming.c \
	src/aig/aig/aigTruth.c \
	src/aig/aig/aigTsim.c \
	src/aig/aig/aigUtil.c \
	src/aig/aig/aigWin.c