MinizincData.check_dzn
You're seeing just the function
check_dzn
, go back to MinizincData module for more information.
Link to this function
check_dzn(model_info)
Specs
Check dzn against the model info. Currently only checking for unassigned pars.