In Solver, a search goal such as IloGenerate solves the problem completely, and can find an optimum or a single solution satisfying the constraints, as desired. When we perform a local search using Solver, many goals (not just a single goal) are executed one after another. Each one of these goals makes a local move, changing the current solution to the new one.