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