Make solve deterministic with registered solver backends#1091

isPANN wants to merge 3 commits into

mainCodingThrust/problem-reductions:mainfrom

codex/solver-backend-registryCodingThrust/problem-reductions:codex/solver-backend-registryCopy head branch name to clipboard