4.2.1.5. Language information

These functions return information about the MiniZinc system.

In this section: mzn_min_version_required, mzn_compiler_version, mzn_version_to_string.

Constants

mzn_min_version_required

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.

Functions and Predicates

mzn_compiler_version

function int: mzn_compiler_version()

Return MiniZinc version encoded as an integer (major*10000+minor*1000+patch).

mzn_version_to_string

function string: mzn_version_to_string(int: v)

Return string representation of v given an integer major*10000+minor*1000+patch