solver.SearchForAllSolutions(model, callback)

[Mohammad Arani]

Hi,

I am using sat solver. I was wondering how I can have a callback just for the values of objective function and the time that each values are found.

solver = ortools.sat.python.cp_model.CpSolver()
solver.SearchForAllSolutions(model, callback)

Thanks,

M

[Laurent Perron]

solver.parameters.log_search_progress = True

or write you own: see https://github.com/google/or-tools/blob/86d4c543f717fa8716a9d66c25143660668bf825/ortools/sat/samples/solve_and_print_intermediate_solutions_sample_sat.py#L30

Note that (1) SearchForAllSolutions is deprecated, and (2) it does not work if the model has an objective

--
You received this message because you are subscribed to the Google Groups "or-tools-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to or-tools-discu...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/or-tools-discuss/4e437610-66f3-4713-82c4-216b71e4de1an%40googlegroups.com.

[Mohammad Arani]

Laurent,

Thank you so much for your help.