SRC += src/opt/cgt/cgtAig.c \ src/opt/cgt/cgtCore.c \ src/opt/cgt/cgtDecide.c \ src/opt/cgt/cgtMan.c \ src/opt/cgt/cgtSat.c