Revert "qualify SolverInterface"

This reverts commit cc3d9706a1f46c0716fcc2b29f3f26877c661311.
This turned out not to be needed.