abcBridge-0.10.0.0: abc-build/src/bool/bdc/module.make

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