src/opt/mfs/mfsCore.d src/opt/mfs/mfsCore.o: src/opt/mfs/mfsCore.c src/opt/mfs/mfsInt.h src/base/abc/abc.h \
 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/aig/hop/hop.h src/aig/gia/gia.h \
 src/misc/util/utilCex.h src/misc/st/st.h src/misc/st/stmm.h \
 src/misc/nm/nm.h src/misc/mem/mem.h src/misc/extra/extra.h \
 src/opt/mfs/mfs.h src/aig/aig/aig.h src/sat/cnf/cnf.h \
 src/opt/dar/darInt.h src/opt/dar/dar.h src/sat/bsat/satSolver.h \
 src/sat/bsat/satVec.h src/sat/bsat/satClause.h src/sat/bsat/satStore.h \
 src/sat/bsat/satSolver.h src/bool/bdc/bdc.h
