loongson/pypi: links for sat-mnist-solver