I am refactoring someone's code (using pywraplp with 'CP-SAT' solver) where they used SetHint inside a for loop to feed individual hints, like so:
for var, val in zip(variables, hint_values):
solver.SetHint([var], [val])
They mentioned the hints not necessarily helping find a feasible solution.
My questions are:
1. Is this because they should really assign all hints in one go, as in
solver.SetHint(variables, hint_values)
2. Is there documentation on what happens when you call SetHint multiple times? Or if you set a hint for only a partial solution?
3. Is there documentation on which solvers apply hints, or should I hunt down documentation of the solvers themselves?
4. If the hint is a feasible solution, and the particular solver used does apply hints, are you guaranteed a feasible solution?
Thank you in advance!