SRC +=	src/aig/ioa/ioaReadAig.c \
	src/aig/ioa/ioaWriteAig.c \
	src/aig/ioa/ioaUtil.c