@copiousfreetime yeah, researching the solver and consulting with people who know way more about it than I do, to make a solver aware of the trade-off between a slightly-newer-version of RuboCop and an absolutely-ancient version of Standard would require additional variables (like publish date) that would absolutely explode its algorithmic complexity