MinizincSearch.iterative
You're seeing just the function
iterative
, go back to MinizincSearch module for more information.
Link to this function
iterative(instance, iterations, step_fun)
Run for a given number of iterations. 'step_fun' is a function that controls the execution.