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