smt: smt.cpp
	g++ smt.cpp -lz3 -o smt
	./smt

clean:
	rm -r smt
