CCLINKER    = g++

default: approxcount

all: $(EXECS)

approxcount:
	$(CCLINKER) -O3 approxcount.cpp SATSolution.cpp Solutions.cpp  -o approxcount -lm


