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]