MinizincResults.get_checker_output
You're seeing just the function
get_checker_output
, go back to MinizincResults module for more information.
Link to this function