build/release/minisat/utils/Options.o: minisat/utils/Options.cc \
 minisat/mtl/Sort.h minisat/mtl/Vec.h minisat/mtl/IntTypes.h \
 minisat/mtl/XAlloc.h minisat/utils/Options.h minisat/utils/ParseUtils.h
