CFLAGS=-Wall -g
CC=gcc
all: countbits
	./genbenchmarks.sh
countbits:
clean:
	rm -f countbits *.smt2
