MinizincSearch.find_k_handler
You're seeing just the function
find_k_handler
, go back to MinizincSearch module for more information.
Link to this function
find_k_handler(k, solution_handler \\ MinizincHandler.Default)
Make a handler that breaks after k solutions found by a given solution handler.