SRC +=  src/opt/kit/kitBdd.c \
    src/opt/kit/kitDsd.c \
    src/opt/kit/kitFactor.c \
    src/opt/kit/kitGraph.c \
    src/opt/kit/kitHop.c \
    src/opt/kit/kitIsop.c \
    src/opt/kit/kitSop.c \
    src/opt/kit/kitTruth.c