| SRC += src/sat/bsat/satMem.c \ | |
| src/sat/bsat/satInter.c \ | |
| src/sat/bsat/satInterA.c \ | |
| src/sat/bsat/satInterB.c \ | |
| src/sat/bsat/satInterP.c \ | |
| src/sat/bsat/satProof.c \ | |
| src/sat/bsat/satSolver.c \ | |
| src/sat/bsat/satSolver2.c \ | |
| src/sat/bsat/satSolver2i.c \ | |
| src/sat/bsat/satSolver3.c \ | |
| src/sat/bsat/satStore.c \ | |
| src/sat/bsat/satTrace.c \ | |
| src/sat/bsat/satTruth.c \ | |
| src/sat/bsat/satUtil.c |