SRC +=    src/aig/tim/tim.c