all: WalkSATlm2013 clean

WalkSATlm2013: wsat.cpp wsat.h
		g++ wsat.cpp -O3 -static -o WalkSATlm2013

clean:
	rm -f *~

cleanup:
	rm WalkSATlm2013
	rm -f *~
