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