all: aigs

aigs: tmp
	saw example.saw

tmp:
	mkdir -p tmp

clean:
	-rm -rf tmp
