bsakaguchi/pypi: links for abuz-solver-client