pypi/proposer-solver-v1