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