SRC +=  src/bool/bdc/bdcCore.c \
    src/bool/bdc/bdcDec.c \
    src/bool/bdc/bdcSpfd.c \
    src/bool/bdc/bdcTable.c