root/pypi: links for sat-puzzle-solver