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 |