docs: def minizinc_version():
      """Returns the version of the found minizinc executable."""
      vs = _run_minizinc('--version')
      m = re.findall('version ([\d\.]+)', vs)
      if not m:
          raise RuntimeError('MiniZinc executable not found.')
      return m[0]