build/dynamic/minisat/simp/SimpSolver.o: minisat/simp/SimpSolver.cc \
 minisat/mtl/Sort.h minisat/mtl/Vec.h minisat/mtl/IntTypes.h \
 minisat/mtl/XAlloc.h minisat/simp/SimpSolver.h minisat/mtl/Queue.h \
 minisat/core/Solver.h minisat/mtl/Heap.h minisat/mtl/IntMap.h \
 minisat/mtl/Alg.h minisat/utils/Options.h minisat/utils/ParseUtils.h \
 minisat/core/SolverTypes.h minisat/mtl/Map.h minisat/mtl/Alloc.h \
 minisat/utils/System.h
