SATLike3.0: basis_pms.h build.h pms.h heuristic.h pms.cpp	
	g++  pms.cpp -static  -O3  -o SATLike3.0
	rm -f *~