qualify SolverInterface