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