satgen: satgen.cc
	g++ satgen.cc -o satgen

clean:
	rm -f satgen