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