all:
	cd protocol && make && cd ..
	cd solvers && make && cd ..

