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 |