opt bool: mzn_opt_only_range_domains
Whether to only generate domains that are contiguous ranges
opt int: mzn_min_version_required
If defined, this can be used to check that the MiniZinc compiler supports all the features used in the model.
test mzn_check_only_range_domains()
Check whether to only generate domains that are contiguous ranges
More…