I wonder what the solver.Response.NumConflicts information means exactly.
In the documentation(s) I found statements like
Returns the number of conflicts since the creation of the solver. (https://developers.google.com/optimization/reference/python/sat/python/cp_model#numconflicts)
That does not really satisfies my questioning. Does it tell something about the number of times a constraint has been hurt? Or is it some kind of indicator of how exact the solution is? Eventhough it is not zero for optimal solutions.
And a connected question: What could be the most conclusive info about the solution quality?
Thank you