I know that for some solvers, for example, the constraint programming solver in Google OR-Tools, it is possible to see all the intermediate solutions that the solver finds while it searches for an optimal solution. (An example is in this link.) I need these step-wise partial solutions to visualize the evolution of the optimization process in a physical example where I have a nonlinear 0-1 integer problem that I programmed in AMPL.
My questions are:
When solving nonlinear 0-1 integer problems, is it logical to consider such intermediate solutions?
Is it possible to obtain the intermediate solutions of solvers using AMPL? Which solvers have such a feature for AMPL?