These functions return information about the MiniZinc system.
Functions and Predicates
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:2155)Return string representation of v given an integer major*10000+minor*1000+patch