loongson/pypi: links for cvc4-solver