SolverFactory and external solver interface.