pypi/proposer-solver