src/sat/bsat/satUtil.d src/sat/bsat/satUtil.o: src/sat/bsat/satUtil.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/satSolver2.h src/misc/vec/vecSet.h \
 src/sat/bsat/satProof2.h src/misc/vec/vec.h src/misc/vec/vecInt.h \
 src/misc/vec/vecFlt.h src/misc/vec/vecStr.h src/misc/vec/vecPtr.h \
 src/misc/vec/vecVec.h src/misc/vec/vecAtt.h src/misc/vec/vecWrd.h \
 src/misc/vec/vecBit.h
