abcBridge-0.10.0.0: abc-build/src/proof/bbr/module.make

SRC +=	src/proof/bbr/bbrCex.c \
	src/proof/bbr/bbrImage.c \
	src/proof/bbr/bbrNtbdd.c \
	src/proof/bbr/bbrReach.c