NewSolutionFoundCallback

Solver