We still use `Solve::Solver` in some of the code though.