src/sat/bsat/satProof.d src/sat/bsat/satProof.o: src/sat/bsat/satProof.c src/misc/vec/vec.h \
 src/misc/util/abc_global.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 \
 src/misc/vec/vecSet.h src/aig/aig/aig.h src/misc/util/utilCex.h \
 src/sat/bsat/satTruth.h
