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