test:
	pytest-3 -x --cov=solver

coverage:
	python3-coverage report -m