all: Score2SAT clean

Score2SAT: main.cpp
	g++ -O3 -static main.cpp -o Score2SAT

clean:
	rm -f *~

cleanup:
	rm -f Score2SAT
	rm -f *~
