Add mzn_max_version_required to enable models to speficy the maximum version of MiniZinc required to run the model. Fixes #872.

Author: guidotack

changes.rst

@@ -6,6 +6,11 @@ https://github.com/MiniZinc/libminizinc/issues.
 
 .. _unreleased:
 
+Changes:
+^^^^^^^^
+-  Add ``mzn_max_version_required`` to enable models to speficy the maximum
+   version of MiniZinc required to run the model (:bugref:`872`).
+
 Bug fixes:
 ^^^^^^^^^^
 -  Fix the rewriting of the multidimensional search annotations to ensure

share/minizinc/std/stdlib/stdlib_language.mzn

@@ -24,6 +24,18 @@ constraint
       mzn_version_to_string(mzn_compiler_version()),
   );
 
+/** @group stdlib.language If defined, this can be used to check that the MiniZinc compiler is not newer than the given version. */
+opt int: mzn_max_version_required;
+
+constraint
+  assert(
+    absent(mzn_max_version_required) \/ deopt(mzn_max_version_required) >= mzn_compiler_version(),
+    "This model only works with MiniZinc up to version " ++
+      mzn_version_to_string(deopt(mzn_max_version_required)) ++
+      " but you are running version " ++
+      mzn_version_to_string(mzn_compiler_version()),
+  );
+
 /***
  @groupdef stdlib.options Compiler options
 */