MinizincHandler.handle_summary
You're seeing just the callback
handle_summary
, go back to MinizincHandler module for more information.
Link to this callback