all:
	./generate.sh
clean:
	rm -f *.smt2 *.aig *.cnf *.log