SolverState::getParameter throws an exception if the key is not found.