With the addition of many new solvers merged in #265, would it be possible to publish a new release to PyPI?
