SRC += src/aig/rwt/rwtDec.c \ src/aig/rwt/rwtMan.c \ src/aig/rwt/rwtUtil.c