MiniZinc Documentation - Standard Library

These functions return information about the MiniZinc system.

Functions and Predicates
function int: mzn_compiler_version()

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

function string: mzn_version_to_string(int: v) =
(((show(v div 10000)++".")++show(v div 100 mod 100))++".")++ show(v mod 100)
(standard decomposition from builtins.mzn:2076)

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