lab2: main.cpp lab2.cpp common.h
	g++ $^ -lz3 -Wall -o $@

run: lab2
	./lab2

clean:
	rm lab2
