src/sat/bsat/satSolver.d src/sat/bsat/satSolver.o: src/sat/bsat/satSolver.c src/sat/bsat/satSolver.h \
 src/sat/bsat/satVec.h src/misc/util/abc_global.h \
 src/sat/bsat/satClause.h src/sat/bsat/satStore.h
