4.2.3. Compiler options

4.2.3.1. Parameters

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.

4.2.3.2. Functions and Predicates

test mzn_check_only_range_domains()

Check whether to only generate domains that are contiguous ranges

More…