SRC +=    src/sat/cnf/cnfCore.c \
    src/sat/cnf/cnfCut.c \
    src/sat/cnf/cnfData.c \
    src/sat/cnf/cnfFast.c \
    src/sat/cnf/cnfMan.c \
    src/sat/cnf/cnfMap.c \
    src/sat/cnf/cnfPost.c \
    src/sat/cnf/cnfUtil.c \
    src/sat/cnf/cnfWrite.c