1<!DOCTYPE html><html class="h-full bg-gray-50 antialiased" lang="en"><head><meta charSet="utf-8" data-next-head=""/><meta name="viewport" content="width=device-width" data-next-head=""/><title data-next-head="">MiniZinc - Downloads</title><link rel="icon" href="/favicon.ico"/><meta name="description" content="MiniZinc is a free and open-source constraint modeling language."/><link rel="preload" href="/_next/static/css/0134d3da0325be98.css" as="style"/><link rel="stylesheet" href="/_next/static/css/0134d3da0325be98.css" data-n-g=""/><noscript data-n-css=""></noscript>
1<script defer="" noModule="" src="/_next/static/chunks/polyfills-42372ed130431b0a.js"></script>
1<script src="/_next/static/chunks/webpack-5aaf9145c56bf961.js" defer=""></script>
1<script src="/_next/static/chunks/framework-d7945a8ad0653f37.js" defer=""></script>
1<script src="/_next/static/chunks/main-7f44cc144cf51360.js" defer=""></script>
1<script src="/_next/static/chunks/pages/_app-b7de58b82344f768.js" defer=""></script>
1<script src="/_next/static/chunks/98bef5de-266c2856990c58cf.js" defer=""></script>
1<script src="/_next/static/chunks/cd97a040-04ecc6c700324914.js" defer=""></script>
1<script src="/_next/static/chunks/07c2d338-2c90156b894eb58b.js" defer=""></script>
1<script src="/_next/static/chunks/4040-addd18d636c48efe.js" defer=""></script>
1<script src="/_next/static/chunks/6958-ad7b614c489985ae.js" defer=""></script>
1<script src="/_next/static/chunks/pages/downloads-cd8adbadd954f6a0.js" defer=""></script>
1<script src="/_next/static/dEy3PQ5tPFrqcPx0KRBMe/_buildManifest.js" defer=""></script>
1<script src="/_next/static/dEy3PQ5tPFrqcPx0KRBMe/_ssgManifest.js" defer=""></script>
1</head><body class="flex h-full flex-col"><div id="__next"><header><nav><div class="mx-auto max-w-7xl px-4 sm:px-6 lg:px-8 relative z-50 flex justify-between py-8"><div class="relative z-10 flex items-center gap-16"><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" aria-label="Home" href="/"><svg viewBox="0 0 1280 1280" aria-hidden="true" class="h-10 w-auto"><defs><clipPath id="clipPath16" clipPathUnits="userSpaceOnUse"><path d="m 0,1024 1024,0 L 1024,0 0,0 0,1024 Z"></path></clipPath></defs><g transform="matrix(1.25,0,0,-1.25,0,1280)"><g><g clip-path="url(#clipPath16)"><g transform="translate(132.5234,968.6421)"><path style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none" d="m 0,0 c -42.484,0 -76.924,-34.438 -76.924,-76.929 l 0,-759.445 c 0,-42.49 34.44,-76.919 76.924,-76.919 l 759.445,0 c 42.49,0 76.929,34.429 76.929,76.919 l 0,759.445 C 836.374,-34.438 801.935,0 759.445,0 L 0,0 Z"></path></g><g transform="translate(490.0073,764.9961)"><path style="fill:#4a4a49;fill-opacity:1;fill-rule:nonzero;stroke:none" d="m 0,0 -341.772,0 0,-101.043 183.631,0 -195.053,-426.129 369.02,0 0,101.041 -214.387,0 L 0,0 Z"></path></g><g transform="translate(543.4619,468.0146)"><path style="fill:#4a4a49;fill-opacity:1;fill-rule:nonzero;stroke:none" d="m 0,0 0,-230.19 100.161,0 0,238.104 c 0,0 34.265,75.558 87.865,75.558 43.933,0 49.196,-35.135 49.196,-67.646 l 0,-246.016 100.165,0 0,293.459 c 0,74.684 -63.259,125.644 -135.299,125.644 -70.283,0 -133.558,-65.023 -133.558,-65.023 0,0 -31.624,45.688 -50.954,59.74 L -66.768,133.553 C -21.084,98.406 0,57.995 0,0"></path></g><g transform="translate(975.4307,758.4355)"><path style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none" d="m 0,0 -357.376,-0.375 c -44.462,0.319 -74.898,39.821 -74.918,73.428 L -432.375,210.262 0,210.262 0,0 Z"></path></g><g transform="translate(649.8535,800.1694)"><path style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none" d="M 0,0 21.593,0 44.572,81.96 55.565,-2.038 79.149,1.427 56.36,122.325 l -21.583,0 -23.986,-88.073 -23.975,88.073 -21.587,0 L -57.557,1.427 -33.973,-2.038 -22.979,81.96 0,0 Z"></path></g><path style="fill:#ffffff;fill-opacity:1;fill-rule:evenodd;stroke:none" d="m 766.74,893.957 -23.189,0 0,-93.787 23.189,0 0,93.787 z m 2.194,29.355 c 0,7.743 -6.196,14.067 -13.789,14.067 -7.592,0 -13.788,-6.324 -13.788,-14.067 0,-7.749 6.196,-14.069 13.788,-14.069 7.593,0 13.789,6.32 13.789,14.069"></path><g transform="translate(800.248,853.5835)"><path style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none" d="m 0,0 0,-53.414 22.779,0 0,55.251 c 0,0 7.803,17.536 19.992,17.536 9.999,0 11.194,-8.157 11.194,-15.7 l 0,-57.087 22.78,0 0,68.093 c 0,17.333 -14.391,29.159 -30.775,29.159 -15.991,0 -30.381,-15.087 -30.381,-15.087 0,0 -7.201,10.599 -11.596,13.862 L -15.188,30.994 C -4.797,22.834 0,13.459 0,0"></path></g><path style="fill:#ffffff;fill-opacity:1;fill-rule:evenodd;stroke:none" d="m 925.33,893.957 -23.183,0 0,-93.787 23.183,0 0,93.787 z m 2.201,29.355 c 0,7.743 -6.194,14.067 -13.788,14.067 -7.602,0 -13.797,-6.324 -13.797,-14.067 0,-7.749 6.195,-14.069 13.797,-14.069 7.594,0 13.788,6.32 13.788,14.069"></path><g transform="translate(132.5234,968.6421)"><path style="fill:#1491eb;fill-opacity:1;fill-rule:nonzero;stroke:none" d="m 0,0 c -42.484,0 -76.924,-34.438 -76.924,-76.929 l 0,-759.445 c 0,-42.49 34.44,-76.919 76.924,-76.919 l 759.445,0 c 42.49,0 76.929,34.429 76.929,76.919 l 0,759.445 C 836.374,-34.438 801.935,0 759.445,0 L 0,0 Z m 0,55.355 759.445,0 c 73.063,0 132.284,-59.225 132.284,-132.284 l 0,-759.445 c 0,-73.063 -59.221,-132.275 -132.284,-132.275 l -759.445,0 c -73.059,0 -132.279,59.212 -132.279,132.275 l 0,759.445 c 0,73.059 59.22,132.284 132.279,132.284"></path></g></g></g></g></svg></a><div class="hidden lg:flex lg:gap-10"><a class="relative -mx-3 -my-2 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/resources/"><span class="relative z-10">Resources</span></a><a class="relative -mx-3 -my-2 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/team/"><span class="relative z-10">Team</span></a><a class="relative -mx-3 -my-2 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="https://play.minizinc.org"><span class="relative z-10">Playground</span></a><a class="relative -mx-3 -my-2 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/challenge/"><span class="relative z-10">Challenge</span></a><a class="relative -mx-3 -my-2 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="https://groups.google.com/forum/#!forum/minizinc"><span class="relative z-10">Discussions</span></a></div></div><div class="flex items-center gap-6"><div class="lg:hidden" data-headlessui-state=""><button class="relative z-10 -m-2 inline-flex items-center rounded-lg stroke-gray-900 p-2 hover:bg-gray-200/50 hover:stroke-gray-600 not-focus-visible:focus:outline-hidden active:stroke-gray-900" aria-label="Toggle site navigation" type="button" aria-expanded="false" data-headlessui-state=""><svg viewBox="0 0 24 24" fill="none" aria-hidden="true" class="h-6 w-6"><path d="M5 6h14M5 18h14M5 12h14" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"></path></svg></button></div><span hidden="" style="position:fixed;top:1px;left:1px;width:1px;height:0;padding:0;margin:-1px;overflow:hidden;clip:rect(0, 0, 0, 0);white-space:nowrap;border-width:0;display:none"></span></div><div class="hidden lg:flex"><div class="flex gap-4 text-gray-600"><a class="hover:text-gray-800" title="MiniZinc Discord Server" href="https://discord.gg/gVEjAkQNA9"><svg aria-hidden="true" focusable="false" data-prefix="fab" data-icon="discord" class="svg-inline--fa fa-discord " role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 640 512" height="1em">
1<path fill="currentColor" d="M524.531,69.836a1.5,1.5,0,0,0-.764-.7A485.065,485.065,0,0,0,404.081,32.03a1.816,1.816,0,0,0-1.923.91,337.461,337.461,0,0,0-14.9,30.6,447.848,447.848,0,0,0-134.426,0,309.541,309.541,0,0,0-15.135-30.6,1.89,1.89,0,0,0-1.924-.91A483.689,483.689,0,0,0,116.085,69.137a1.712,1.712,0,0,0-.788.676C39.068,183.651,18.186,294.69,28.43,404.354a2.016,2.016,0,0,0,.765,1.375A487.666,487.666,0,0,0,176.02,479.918a1.9,1.9,0,0,0,2.063-.676A348.2,348.2,0,0,0,208.12,430.4a1.86,1.86,0,0,0-1.019-2.588,321.173,321.173,0,0,1-45.868-21.853,1.885,1.885,0,0,1-.185-3.126c3.082-2.309,6.166-4.711,9.109-7.137a1.819,1.819,0,0,1,1.9-.256c96.229,43.917,200.41,43.917,295.5,0a1.812,1.812,0,0,1,1.924.233c2.944,2.426,6.027,4.851,9.132,7.16a1.884,1.884,0,0,1-.162,3.126,301.407,301.407,0,0,1-45.89,21.83,1.875,1.875,0,0,0-1,2.611,391.055,391.055,0,0,0,30.014,48.815,1.864,1.864,0,0,0,2.063.7A486.048,486.048,0,0,0,610.7,405.729a1.882,1.882,0,0,0,.765-1.352C623.729,277.594,590.933,167.465,524.531,69.836ZM222.491,337.58c-28.972,0-52.844-26.587-52.844-59.239S193.056,219.1,222.491,219.1c29.665,0,53.306,26.82,52.843,59.239C275.334,310.993,251.924,337.58,222.491,337.58Zm195.38,0c-28.971,0-52.843-26.587-52.843-59.239S388.437,219.1,417.871,219.1c29.667,0,53.307,26.82,52.844,59.239C470.715,310.993,447.538,337.58,417.871,337.58Z"></path></svg></a><a class="hover:text-gray-800" title="MiniZinc Google Group" href="https://groups.google.com/forum/#!forum/minizinc"><svg aria-hidden="true" focusable="false" data-prefix="fab" data-icon="google" class="svg-inline--fa fa-google " role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 488 512" height="1em"><path fill="currentColor" d="M488 261.8C488 403.3 391.1 504 248 504 110.8 504 0 393.2 0 256S110.8 8 248 8c66.8 0 123 24.5 166.3 64.9l-67.5 64.9C258.5 52.6 94.3 116.6 94.3 256c0 86.5 69.1 156.6 153.7 156.6 98.2 0 135-70.4 140.8-106.9H248v-85.3h236.1c2.3 12.7 3.9 24.9 3.9 41.4z"></path></svg></a><a class="hover:text-gray-800" title="MiniZinc on StackOverflow" href="https://stackoverflow.com/questions/tagged/minizinc"><svg aria-hidden="true" focusable="false" data-prefix="fab" data-icon="stack-overflow" class="svg-inline--fa fa-stack-overflow " role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 384 512" height="1em"><path fill="currentColor" d="M290.7 311L95 269.7 86.8 309l195.7 41zm51-87L188.2 95.7l-25.5 30.8 153.5 128.3zm-31.2 39.7L129.2 179l-16.7 36.5L293.7 300zM262 32l-32 24 119.3 160.3 32-24zm20.5 328h-200v39.7h200zm39.7 80H42.7V320h-40v160h359.5V320h-40z"></path></svg></a><a class="hover:text-gray-800" title="MiniZinc on GitHub" href="https://github.com/minizinc"><svg aria-hidden="true" focusable="false" data-prefix="fab" data-icon="github" class="svg-inline--fa fa-github " role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 496 512" height="1em"><path fill="currentColor" d="M165.9 397.4c0 2-2.3 3.6-5.2 3.6-3.3.3-5.6-1.3-5.6-3.6 0-2 2.3-3.6 5.2-3.6 3-.3 5.6 1.3 5.6 3.6zm-31.1-4.5c-.7 2 1.3 4.3 4.3 4.9 2.6 1 5.6 0 6.2-2s-1.3-4.3-4.3-5.2c-2.6-.7-5.5.3-6.2 2.3zm44.2-1.7c-2.9.7-4.9 2.6-4.6 4.9.3 2 2.9 3.3 5.9 2.6 2.9-.7 4.9-2.6 4.6-4.6-.3-1.9-3-3.2-5.9-2.9zM244.8 8C106.1 8 0 113.3 0 252c0 110.9 69.8 205.8 169.5 239.2 12.8 2.3 17.3-5.6 17.3-12.1 0-6.2-.3-40.4-.3-61.4 0 0-70 15-84.7-29.8 0 0-11.4-29.1-27.8-36.6 0 0-22.9-15.7 1.6-15.4 0 0 24.9 2 38.6 25.8 21.9 38.6 58.6 27.5 72.9 20.9 2.3-16 8.8-27.1 16-33.7-55.9-6.2-112.3-14.3-112.3-110.5 0-27.5 7.6-41.3 23.6-58.9-2.6-6.5-11.1-33.3 2.6-67.9 20.9-6.5 69 27 69 27 20-5.6 41.5-8.5 62.8-8.5s42.8 2.9 62.8 8.5c0 0 48.1-33.6 69-27 13.7 34.7 5.2 61.4 2.6 67.9 16 17.7 25.8 31.5 25.8 58.9 0 96.5-58.9 104.2-114.8 110.5 9.2 7.9 17 22.9 17 46.4 0 33.7-.3 75.4-.3 83.6 0 6.5 4.6 14.4 17.3 12.1C428.2 457.8 496 362.9 496 252 496 113.3 383.5 8 244.8 8zM97.2 352.9c-1.3 1-1 3.3.7 5.2 1.6 1.6 3.9 2.3 5.2 1 1.3-1 1-3.3-.7-5.2-1.6-1.6-3.9-2.3-5.2-1zm-10.8-8.1c-.7 1.3.3 2.9 2.3 3.9 1.6 1 3.6.7 4.3-.7.7-1.3-.3-2.9-2.3-3.9-2-.6-3.6-.3-4.3.7zm32.4 35.6c-1.6 1.3-1 4.3 1.3 6.2 2.3 2.3 5.2 2.6 6.5 1 1.3-1.3.7-4.3-1.3-6.2-2.2-2.3-5.2-2.6-6.5-1zm-11.4-14.7c-1.6 1-1.6 3.6 0 5.9 1.6 2.3 4.3 3.3 5.6 2.3 1.6-1.3 1.6-3.9 0-6.2-1.4-2.3-4-3.3-5.6-2z"></path></svg></a></div></div></div></nav></header><main>
1<div class="mx-auto max-w-7xl px-4 sm:px-6 lg:px-8"><section id="downloads" aria-labelledby="downloads-title"><h2 id="downloads-title" class="text-3xl font-medium tracking-tight text-gray-900">Downloads</h2><hr class="mt-2"/><p class="my-6 leading-7">Official binary packages are provided for Windows, macOS and Linux.<br/>These contain MiniZinc <!-- -->2.10.1<!-- -->, the MiniZinc IDE<!-- --> <!-- -->2.10.1<!-- -->, as well as several state of the art solvers.<br/>For detailed installation instructions, see the<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/installation.html">documentation</a>.</p><div class="my-4"><ul role="list" class="mx-auto grid max-w-2xl grid-cols-1 gap-6 sm:grid-cols-2 md:gap-y-10 lg:max-w-none lg:grid-cols-3"><li class="flex flex-col rounded-2xl border border-gray-200"><div class="p-8"><h3 class="font-semibold text-gray-900">Windows</h3><p class="mt-2 mb-2 text-sm text-gray-700">Windows 10 or later.</p><a class="grow text-sky-600 hover:text-sky-700 hover:underline" href="https://github.com/MiniZinc/MiniZincIDE/releases/download/2.10.1/MiniZincIDE-2.10.1-x86_64-windows-setup.exe"><div class="flex items-center gap-x-2 text-sm"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="download" class="svg-inline--fa fa-download text-black" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M288 32c0-17.7-14.3-32-32-32s-32 14.3-32 32l0 242.7-73.4-73.4c-12.5-12.5-32.8-12.5-45.3 0s-12.5 32.8 0 45.3l128 128c12.5 12.5 32.8 12.5 45.3 0l128-128c12.5-12.5 12.5-32.8 0-45.3s-32.8-12.5-45.3 0L288 274.7 288 32zM64 352c-35.3 0-64 28.7-64 64l0 32c0 35.3 28.7 64 64 64l384 0c35.3 0 64-28.7 64-64l0-32c0-35.3-28.7-64-64-64l-101.5 0-45.3 45.3c-25 25-6
15.5 25-90.5 0L165.5 352 64 352zm368 56a24 24 0 1 1 0 48 24 24 0 1 1 0-48z"></path></svg><span>Download for x64</span></div></a><a class="grow text-sky-600 hover:text-sky-700 hover:underline" href="https://github.com/MiniZinc/MiniZincIDE/releases/download/2.10.1/MiniZincIDE-2.10.1-aarch64-windows-setup.exe"><div class="flex items-center gap-x-2 text-sm"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="download" class="svg-inline--fa fa-download text-black" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M288 32c0-17.7-14.3-32-32-32s-32 14.3-32 32l0 242.7-73.4-73.4c-12.5-12.5-32.8-12.5-45.3 0s-12.5 32.8 0 45.3l128 128c12.5 12.5 32.8 12.5 45.3 0l128-128c12.5-12.5 12.5-32.8 0-45.3s-32.8-12.5-45.3 0L288 274.7 288 32zM64 352c-35.3 0-64 28.7-64 64l0 32c0 35.3 28.7 64 64 64l384 0c35.3 0 64-28.7 64-64l0-32c0-35.3-28.7-64-64-64l-101.5 0-45.3 45.3c-25 25-65.5 25-90.5 0L165.5 352 64 352zm368 56a24 24 0 1 1 0 48 24 24 0 1 1 0-48z"></path></svg><span>Download for 64-bit ARM</span></div></a></div></li><li class="flex flex-col rounded-2xl border border-gray-200"><div class="p-8"><h3 class="font-semibold text-gray-900">macOS</h3><p class="mt-2 mb-2 text-sm text-gray-700">macOS 11 or later.</p><a class="grow text-sky-600 hover:text-sky-700 hover:underline" href="https://github.com/MiniZinc/MiniZincIDE/releases/download/2.10.1/MiniZincIDE-2.10.1-aarch64-apple-darwin.dmg"><div class="flex items-center gap-x-2 text-sm"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="download" class="svg-inline--fa fa-download text-black" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M288 32c0-17.7-14.3-32-32-32s-32 14.3-32 32l0 242.7-73.4-73.4c-12.5-12.5-32.8-12.5-45.3 0s-12.5 32.8 0 45.3l128 128c12.5 12.5 32.8 12.5 45.3 0l128-128c12.5-12.5 12.5-32.8 0-45.3s-32.8-12.5-45.3 0L288 274.7 288 32zM64 352c-35.3 0-64 28.7-64 64l0 32c0 35.3 28.7 64 64 64l384 0c35.3 0 64-28.7 64-64l0-32c0-35.3-28.7-64-64-64l-101.5 0-45.3 45.3c-25 25-6
15.5 25-90.5 0L165.5 352 64 352zm368 56a24 24 0 1 1 0 48 24 24 0 1 1 0-48z"></path></svg><span>Download for Apple Silicon</span></div></a><a class="grow text-sky-600 hover:text-sky-700 hover:underline" href="https://github.com/MiniZinc/MiniZincIDE/releases/download/2.10.1/MiniZincIDE-2.10.1-x86_64-apple-darwin.dmg"><div class="flex items-center gap-x-2 text-sm"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="download" class="svg-inline--fa fa-download text-black" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M288 32c0-17.7-14.3-32-32-32s-32 14.3-32 32l0 242.7-73.4-73.4c-12.5-12.5-32.8-12.5-45.3 0s-12.5 32.8 0 45.3l128 128c12.5 12.5 32.8 12.5 45.3 0l128-128c12.5-12.5 12.5-32.8 0-45.3s-32.8-12.5-45.3 0L288 274.7 288 32zM64 352c-35.3 0-64 28.7-64 64l0 32c0 35.3 28.7 64 64 64l384 0c35.3 0 64-28.7 64-64l0-32c0-35.3-28.7-64-64-64l-101.5 0-45.3 45.3c-25 25-65.5 25-90.5 0L165.5 352 64 352zm368 56a24 24 0 1 1 0 48 24 24 0 1 1 0-48z"></path></svg><span>Download for Intel-based Macs</span></div></a></div></li><li class="flex flex-col rounded-2xl border border-gray-200"><div class="p-8"><h3 class="font-semibold text-gray-900">Linux</h3><p class="mt-2 mb-2 text-sm text-gray-700">64-bit Linux (tested on Ubuntu 22.04).</p><a class="grow text-sky-600 hover:text-sky-700 hover:underline" href="https://github.com/MiniZinc/MiniZincIDE/releases/download/2.10.1/MiniZincIDE-2.10.1-x86_64-linux-gnu.AppImage"><div class="flex items-center gap-x-2 text-sm"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="download" class="svg-inline--fa fa-download text-black" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M288 32c0-17.7-14.3-32-32-32s-32 14.3-32 32l0 242.7-73.4-73.4c-12.5-12.5-32.8-12.5-45.3 0s-12.5 32.8 0 45.3l128 128c12.5 12.5 32.8 12.5 45.3 0l128-128c12.5-12.5 12.5-32.8 0-45.3s-32.8-12.5-45.3 0L288 274.7 288 32zM64 352c-35.3 0-64 28.7-64 64l0 32c0 35.3 28.7 64 64 64l384 0c35.3 0 64-28.7 64-64l0-32c0-35.3-28.7-64-64-64l-101.5 0-45.3 45.3c-25 25-6
15.5 25-90.5 0L165.5 352 64 352zm368 56a24 24 0 1 1 0 48 24 24 0 1 1 0-48z"></path></svg><span>Download AppImage</span></div></a><a class="grow text-sky-600 hover:text-sky-700 hover:underline" href="https://snapcraft.io/minizinc"><div class="flex items-center gap-x-2 text-sm"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="download" class="svg-inline--fa fa-download text-black" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M288 32c0-17.7-14.3-32-32-32s-32 14.3-32 32l0 242.7-73.4-73.4c-12.5-12.5-32.8-12.5-45.3 0s-12.5 32.8 0 45.3l128 128c12.5 12.5 32.8 12.5 45.3 0l128-128c12.5-12.5 12.5-32.8 0-45.3s-32.8-12.5-45.3 0L288 274.7 288 32zM64 352c-35.3 0-64 28.7-64 64l0 32c0 35.3 28.7 64 64 64l384 0c35.3 0 64-28.7 64-64l0-32c0-35.3-28.7-64-64-64l-101.5 0-45.3 45.3c-25 25-65.5 25-90.5 0L165.5 352 64 352zm368 56a24 24 0 1 1 0 48 24 24 0 1 1 0-48z"></path></svg><span>View on the Snap store</span></div></a><a class="grow text-sky-600 hover:text-sky-700 hover:underline" href="https://github.com/MiniZinc/MiniZincIDE/releases/download/2.10.1/MiniZincIDE-2.10.1-x86_64-linux-gnu.tgz"><div class="flex items-center gap-x-2 text-sm"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="download" class="svg-inline--fa fa-download text-black" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M288 32c0-17.7-14.3-32-32-32s-32 14.3-32 32l0 242.7-73.4-73.4c-12.5-12.5-32.8-12.5-45.3 0s-12.5 32.8 0 45.3l128 128c12.5 12.5 32.8 12.5 45.3 0l128-128c12.5-12.5 12.5-32.8 0-45.3s-32.8-12.5-45.3 0L288 274.7 288 32zM64 352c-35.3 0-64 28.7-64 64l0 32c0 35.3 28.7 64 64 64l384 0c35.3 0 64-28.7 64-64l0-32c0-35.3-28.7-64-64-64l-101.5 0-45.3 45.3c-25 25-6
15.5 25-90.5 0L165.5 352 64 352zm368 56a24 24 0 1 1 0 48 24 24 0 1 1 0-48z"></path></svg><span>Download tarball</span></div></a></div></li><li class="flex flex-col rounded-2xl border border-gray-200"><div class="p-8"><h3 class="font-semibold text-gray-900">Command line tools</h3><p class="mt-2 mb-2 text-sm text-gray-700">The MiniZinc compiler and command line tools without the IDE.</p><a class="grow text-sky-600 hover:text-sky-700 hover:underline" href="https://github.com/MiniZinc/libminizinc/releases/tag/2.10.1"><div class="flex items-center gap-x-2 text-sm"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="download" class="svg-inline--fa fa-download text-black" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M288 32c0-17.7-14.3-32-32-32s-32 14.3-32 32l0 242.7-73.4-73.4c-12.5-12.5-32.8-12.5-45.3 0s-12.5 32.8 0 45.3l128 128c12.5 12.5 32.8 12.5 45.3 0l128-128c12.5-12.5 12.5-32.8 0-45.3s-32.8-12.5-45.3 0L288 274.7 288 32zM64 352c-35.3 0-64 28.7-64 64l0 32c0 35.3 28.7 64 64 64l384 0c35.3 0 64-28.7 64-64l0-32c0-35.3-28.7-64-64-64l-101.5 0-45.3 45.3c-25 25-6
15.5 25-90.5 0L165.5 352 64 352zm368 56a24 24 0 1 1 0 48 24 24 0 1 1 0-48z"></path></svg><span>Download on GitHub</span></div></a></div></li><li class="flex flex-col rounded-2xl border border-gray-200"><div class="p-8"><h3 class="font-semibold text-gray-900">Development builds</h3><p class="mt-2 mb-2 text-sm text-gray-700">Try upcoming bugfixes and features.</p><a class="grow text-sky-600 hover:text-sky-700 hover:underline" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/edge"><div class="flex items-center gap-x-2 text-sm"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="download" class="svg-inline--fa fa-download text-black" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M288 32c0-17.7-14.3-32-32-32s-32 14.3-32 32l0 242.7-73.4-73.4c-12.5-12.5-32.8-12.5-45.3 0s-12.5 32.8 0 45.3l128 128c12.5 12.5 32.8 12.5 45.3 0l128-128c12.5-12.5 12.5-32.8 0-45.3s-32.8-12.5-45.3 0L288 274.7 288 32zM64 352c-35.3 0-64 28.7-64 64l0 32c0 35.3 28.7 64 64 64l384 0c35.3 0 64-28.7 64-64l0-32c0-35.3-28.7-64-64-64l-101.5 0-45.3 45.3c-25 25-6
15.5 25-90.5 0L165.5 352 64 352zm368 56a24 24 0 1 1 0 48 24 24 0 1 1 0-48z"></path></svg><span>MiniZincIDE packages</span></div></a><a class="grow text-sky-600 hover:text-sky-700 hover:underline" href="https://github.com/MiniZinc/libminizinc/releases/tag/edge"><div class="flex items-center gap-x-2 text-sm"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="download" class="svg-inline--fa fa-download text-black" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M288 32c0-17.7-14.3-32-32-32s-32 14.3-32 32l0 242.7-73.4-73.4c-12.5-12.5-32.8-12.5-45.3 0s-12.5 32.8 0 45.3l128 128c12.5 12.5 32.8 12.5 45.3 0l128-128c12.5-12.5 12.5-32.8 0-45.3s-32.8-12.5-45.3 0L288 274.7 288 32zM64 352c-35.3 0-64 28.7-64 64l0 32c0 35.3 28.7 64 64 64l384 0c35.3 0 64-28.7 64-64l0-32c0-35.3-28.7-64-64-64l-101.5 0-45.3 45.3c-25 25-65.5 25-90.5 0L165.5 352 64 352zm368 56a24 24 0 1 1 0 48 24 24 0 1 1 0-48z"></path></svg><span>Command line tools</span></div></a></div></li><li class="flex flex-col rounded-2xl border border-gray-200"><div class="p-8"><h3 class="font-semibold text-gray-900">Source code</h3><p class="mt-2 mb-2 text-sm text-gray-700">Source code is available from the GitHub repositories.</p><a class="grow text-sky-600 hover:text-sky-700 hover:underline" href="https://github.com/minizinc"><div class="flex items-center gap-x-2 text-sm"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="download" class="svg-inline--fa fa-download text-black" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M288 32c0-17.7-14.3-32-32-32s-32 14.3-32 32l0 242.7-73.4-73.4c-12.5-12.5-32.8-12.5-45.3 0s-12.5 32.8 0 45.3l128 128c12.5 12.5 32.8 12.5 45.3 0l128-128c12.5-12.5 12.5-32.8 0-45.3s-32.8-12.5-45.3 0L288 274.7 288 32zM64 352c-35.3 0-64 28.7-64 64l0 32c0 35.3 28.7 64 64 64l384 0c35.3 0 64-28.7 64-64l0-32c0-35.3-28.7-64-64-64l-101.5 0-45.3 45.3c-25 25-6
15.5 25-90.5 0L165.5 352 64 352zm368 56a24 24 0 1 1 0 48 24 24 0 1 1 0-48z"></path></svg><span>View on GitHub</span></div></a></div></li></ul></div><p class="mb-6 leading-7">Both the compiler tool chain and the IDE are available as free and open source software.<br/>Have a look at our <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/license/">License Information</a> <!-- -->page for the details.</p></section></div><div class="mx-auto max-w-7xl px-4 sm:px-6 lg:px-8"><section id="minizinc-distribution" aria-labelledby="minizinc-distribution-title" class="mb-6"><div class="flex flex-col-reverse justify-between gap-6 lg:flex-row"><div><h2 id="minizinc-distribution-title" class="text-3xl font-medium tracking-tight text-gray-900">The MiniZinc compiler and IDE</h2><p class="my-2 max-w-prose leading-7">The compiler is the heart of the MiniZinc tool chain. It translates constraint models into FlatZinc, a language that is understood by a wide range of solvers.</p><p class="my-2 max-w-prose leading-7">MiniZinc comes with a simple Integrated Development Environment, the MiniZinc IDE, which makes it easy to develop and run constraint models.</p><h3 id="minizinc-solvers" class="my-3 text-2xl font-medium tracking-tight text-gray-900">Solvers</h3><p>A number of solvers are included in the official binary packages:</p><ul class="mx-2 my-2 list-inside list-disc leading-relaxed"><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://www.gecode.dev/">Gecode</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/chuffed/chuffed">Chuffed</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://developers.google.com/optimization">Google OR-Tools CP-SAT</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://highs.dev">HiGHS</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/coin-or/Cbc">COIN-OR CBC</a></li></ul><p class="mt-2 leading-7">MiniZinc can also interface with the following solvers if installed:</p><ul class="mx-2 my-2 list-inside list-disc leading-relaxed"><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://www.gurobi.com">Gurobi</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://www.ibm.com/products/ilog-cplex-optimization-studio">IBM ILOG CPLEX</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://www.scipopt.org">SCIP</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://www.fico.com/en/products/fico-xpress-optimization">FICO Xpress</a></li></ul><p class="mt-2 leading-7">Additionally, many other compatible solvers can be installed, including:</p><ul class="mx-2 my-2 list-inside list-disc leading-relaxed"><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://choco-solver.org">Choco 4</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/radsz/jacop">JaCoP</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/ehebrard/Mistral-2.0">Mistral-2.0</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="http://picat-lang.org">Picat CP/SAT</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://sicstus.sics.se">SICStus Prolog</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/informarte/yuck">Yuck</a></li></ul><p class="my-2 leading-7">Note that if you build MiniZinc from source, you will have to install any desired solvers yourself.</p></div><div><img alt="The MiniZinc IDE" loading="lazy" width="400" height="442" decoding="async" data-nimg="1" style="color:transparent" src="/_next/static/media/ide_code_small.8a4fb522.png"/></div></div></section></div><div class="mx-auto max-w-7xl px-4 sm:px-6 lg:px-8"><section id="issues" aria-labelledby="issues-title" class="mb-6"><h2 id="issues-title" class="text-3xl font-medium tracking-tight text-gray-900">Reporting issues</h2><p class="my-2 max-w-prose leading-7">We are grateful for feedback on MiniZinc, including bug reports, feature requests and ideas for improvements.</p><p class="my-2 max-w-prose leading-7">For general discussions about MiniZinc, please use the<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://groups.google.com/forum/#!forum/minizinc">discussion forum</a>.</p><p class="my-2 max-w-prose leading-7">To report an issue, please use the following issue trackers:</p><ul class="mx-2 mt-2 list-inside list-disc leading-relaxed"><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/minizinc/libminizinc/issues">MiniZinc compiler and documentation issues</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/minizinc/MiniZincIDE/issues">MiniZinc IDE issues</a></li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/minizinc/minizinc.github.io/issues">MiniZinc web site issues</a></li></ul></section></div><div class="mx-auto max-w-7xl px-4 sm:px-6 lg:px-8"><section id="releases" aria-labelledby="releases-title" class="mb-6"><h2 id="releases-title" class="text-3xl font-medium tracking-tight text-gray-900">Releases</h2><p class="my-2 leading-7">The latest release of MiniZinc is version <!-- -->2.10.1<!-- -->, released<!-- --> <!-- -->31 August 2026<!-- -->.</p><article class="prose prose-minizinc max-w-none"><ul> 2<li>Add an experimental parser using the tree-sitter grammar shared with 3<a href="https://github.com/shackle-rs/shackle">shackle</a>, enabled by setting the 4<code>MZN_TREE_SITTER_PARSER</code> environment variable. Syntax that is not yet 5supported, such as <code>class</code>
5 declarations and lambdas, is rejected by name 6rather than as a generic syntax error. Data files are read with a separate, 7stricter grammar that accepts data, not all MiniZinc expressions. A warning 8is issued for invalid data, but will not be accepted in the future.</li> 9<li>Harden how external FlatZinc solvers are launched. On POSIX, the solver 10is now started with <code>posix_spawn</code> in its own process group, using 11close-on-exec pipes and full error checking. On Windows, the solver inherits 12only the three standard I/O handles (instead of every inheritable handle) and 13is placed in a kill-on-close job object, so it is reliably terminated 14together with MiniZinc. Several descriptor and handle leaks were fixed in the 15process.</li> 16<li>Extend the Xpress solver interface with support for lazy constraints, 17lexicographic multiple objectives (via the <code>goal_hierarchy</code> annotation), 18and user cuts, and enable quadratic and bilinear constraints.</li> 19<li>Make built-in Gecode solver interface handle restart annotations and statistics 20output.</li> 21<li>Greatly reduce the memory used by two-pass compilation (<code>--two-pass</code>, 22<code>-O2</code> and above). The paths that identify variables between passes were 23stored as one string per variable, each spelling out the file name of every 24frame on the flattening call stack, and held several times over. They are now 25an interned tree of shared frames, and the text is only built when 26<code>--keep-paths</code> or <code>--output-paths</code> asks for it. Where an expression has 27picked up more than one path, the deepest one is now kept. Previously the 28textually longest was kept, which could prefer a shallower path that happened 29to run through longer file or function names (<a href="https://github.com/minizinc/libminizinc/issues/1029">issue 1029</a>).</li> 30<li>Plus 10+ bugfixes!</li> 31</ul></article><p class="mt-2 leading-7"><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html">See the full changelog</a>.</p><h3 class="mt-6 text-2xl font-medium tracking-tight text-gray-900">Previous releases</h3><ul class="mx-2 mt-2 list-inside list-disc leading-relaxed"><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.10.0">MiniZinc <!-- -->2.10.0</a> <!-- -->(released <!-- -->23 July 2026<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-10-0">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.9.7">MiniZinc <!-- -->2.9.7</a> <!-- -->(released <!-- -->30 April 2026<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-9-7">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.9.6">MiniZinc <!-- -->2.9.6</a> <!-- -->(released <!-- -->24 April 2026<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-9-6">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.9.5">MiniZinc <!-- -->2.9.5</a> <!-- -->(released <!-- -->23 January 2026<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-9-5">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.9.4">MiniZinc <!-- -->2.9.4</a> <!-- -->(released <!-- -->29 September 2025<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-9-4">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.9.3">MiniZinc <!-- -->2.9.3</a> <!-- -->(released <!-- -->23 May 2025<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-9-3">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.9.2">MiniZinc <!-- -->2.9.2</a> <!-- -->(released <!-- -->6 March 2025<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-9-2">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.9.1">MiniZinc <!-- -->2.9.1</a> <!-- -->(released <!-- -->3 March 2025<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-9-1">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.9.0">MiniZinc <!-- -->2.9.0</a> <!-- -->(released <!-- -->11 February 2025<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-9-0">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.8.7">MiniZinc <!-- -->2.8.7</a> <!-- -->(released <!-- -->2 October 2024<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-8-7">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.8.6">MiniZinc <!-- -->2.8.6</a> <!-- -->(released <!-- -->25 September 2024<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-8-6">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.8.5">MiniZinc <!-- -->2.8.5</a> <!-- -->(released <!-- -->3 June 2024<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-8-5">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.8.4">MiniZinc <!-- -->2.8.4</a> <!-- -->(released <!-- -->10 May 2024<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-8-4">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.8.3">MiniZinc <!-- -->2.8.3</a> <!-- -->(released <!-- -->1 February 2024<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-8-3">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.8.2">MiniZinc <!-- -->2.8.2</a> <!-- -->(released <!-- -->15 December 2023<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-8-2">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.8.1">MiniZinc <!-- -->2.8.1</a> <!-- -->(released <!-- -->27 November 2023<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-8-1">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.8.0">MiniZinc <!-- -->2.8.0</a> <!-- -->(released <!-- -->16 November 2023<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-8-0">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.7.6">MiniZinc <!-- -->2.7.6</a> <!-- -->(released <!-- -->20 June 2023<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-7-6">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.7.5">MiniZinc <!-- -->2.7.5</a> <!-- -->(released <!-- -->7 June 2023<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-7-5">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.7.4">MiniZinc <!-- -->2.7.4</a> <!-- -->(released <!-- -->11 May 2023<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-7-4">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.7.3">MiniZinc <!-- -->2.7.3</a> <!-- -->(released <!-- -->20 April 2023<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-7-3">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.7.2">MiniZinc <!-- -->2.7.2</a> <!-- -->(released <!-- -->5 April 2023<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-7-2">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.7.1">MiniZinc <!-- -->2.7.1</a> <!-- -->(released <!-- -->31 March 2023<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-7-1">change log</a>)</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.7.0">MiniZinc <!-- -->2.7.0</a> <!-- -->(released <!-- -->23 February 2023<!-- -->,<!-- --> <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://docs.minizinc.org/en/stable/changelog.html#v2-7-0">change log</a>)</li></ul><p class="mt-2 leading-7"><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/MiniZinc/MiniZincIDE/releases">View older releases</a>.</p></section></div></main><footer class="border-t border-gray-200"><div class="mx-auto max-w-7xl px-4 sm:px-6 lg:px-8"><div class="flex flex-col gap-y-4 py-6 sm:gap-y-4 sm:py-12"><div class="flex flex-col items-stretch justify-between gap-y-6 sm:flex-row sm:gap-y-12 lg:items-start"><div class="grow"><nav class="flex flex-col gap-8 sm:flex-row"><div class="grow"><h4 class="text-gray-500">MiniZinc</h4><ul class="mt-2 flex flex-col gap-y-1"><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/downloads/"><span class="relative z-10">Downloads</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="https://play.minizinc.org"><span class="relative z-10">Playground</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/challenge/"><span class="relative z-10">Challenge</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/downloads/#releases"><span class="relative z-10">Releases</span></a></li></ul></div><div class="grow"><h4 class="text-gray-500">Learn</h4><ul class="mt-2 flex flex-col gap-y-1"><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/resources/"><span class="relative z-10">Resources</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="https://docs.minizinc.org/en/stable/part_2_tutorial.html"><span class="relative z-10">Tutorial</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="https://docs.minizinc.org/en/stable/part_3_user_manual.html"><span class="relative z-10">User manual</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="https://docs.minizinc.org/en/stable/part_4_reference.html"><span class="relative z-10">Reference manual</span></a></li></ul></div><div class="grow"><h4 class="text-gray-500">About</h4><ul class="mt-2 flex flex-col gap-y-1"><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/team/"><span class="relative z-10">Team</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/publications/"><span class="relative z-10">Publications</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/downloads/#issues"><span class="relative z-10">
31Issue tracker</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/license/"><span class="relative z-10">License information</span></a></li></ul></div></nav></div><div><div class="flex gap-4 text-gray-600"><a class="hover:text-gray-800" title="MiniZinc Discord Server" href="https://discord.gg/gVEjAkQNA9"><svg aria-hidden="true" focusable="false" data-prefix="fab" data-icon="discord" class="svg-inline--fa fa-discord " role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 640 512" height="1em"><path fill="currentColor" d="M524.531,69.836a1.5,1.5,0,0,0-.764-.7A485.065,485.065,0,0,0,404.081,32.03a1.816,1.816,0,0,0-1.923.91,337.461,337.461,0,0,0-14.9,30.6,447.848,447.848,0,0,0-134.426,0,309.541,309.541,0,0,0-15.135-30.6,1.89,1.89,0,0,0-1.924-.91A483.689,483.689,0,0,0,116.085,69.137a1.712,1.712,0,0,0-.788.676C39.068,183.651,18.186,294.69,28.43,404.354a2.016,2.016,0,0,0,.765,1.375A487.666,487.666,0,0,0,176.02,479.918a1.9,1.9,0,0,0,2.063-.676A348.2,348.2,0,0,0,208.12,430.4a1.86,1.86,0,0,0-1.019-2.588,321.173,321.173,0,0,1-45.868-21.853,1.885,1.885,0,0,1-.185-3.126c3.082-2.309,6.166-4.711,9.109-7.137a1.819,1.819,0,0,1,1.9-.256c96.229,43.917,200.41,43.917,295.5,0a1.812,1.812,0,0,1,1.924.233c2.944,2.426,6.027,4.851,9.132,7.16a1.884,1.884,0,0,1-.162,3.126,301.407,301.407,0,0,1-45.89,21.83,1.875,1.875,0,0,0-1,2.611,391.055,391.055,0,0,0,30.014,48.815,1.864,1.864,0,0,0,2.063.7A486.048,486.048,0,0,0,610.7,405.729a1.882,1.882,0,0,0,.765-1.352C623.729,277.594,590.933,167.465,524.531,69.836ZM222.491,337.58c-28.972,0-52.844-26.587-52.844-59.239S193.056,219.1,222.491,219.1c29.665,0,53.306,26.82,52.843,59.239C275.334,310.993,251.924,337.58,222.491,337.58Zm195.38,0c-28.971,0-52.843-26.587-52.843-59.239S388.437,219.1,417.871,219.1c29.667,0,53.307,26.82,52.844,59.239C470.715,310.993,447.538,337.58,417.871,337.58Z"></path></svg></a><a class="hover:text-gray-800" title="MiniZinc Google Group" href="https://groups.google.com/forum/#!forum/minizinc"><svg aria-hidden="true" focusable="false" data-prefix="fab" data-icon="google" class="svg-inline--fa fa-google " role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 488 512" height="1em"><path fill="currentColor" d="M488 261.8C488 403.3 391.1 504 248 504 110.8 504 0 393.2 0 256S110.8 8 248 8c66.8 0 123 24.5 166.3 64.9l-67.5 64.9C258.5 52.6 94.3 116.6 94.3 256c0 86.5 69.1 156.6 153.7 156.6 98.2 0 135-70.4 140.8-106.9H248v-85.3h236.1c2.3 12.7 3.9 24.9 3.9 41.4z"></path></svg></a><a class="hover:text-gray-800" title="MiniZinc on StackOverflow" href="https://stackoverflow.com/questions/tagged/minizinc"><svg aria-hidden="true" focusable="false" data-prefix="fab" data-icon="stack-overflow" class="svg-inline--fa fa-stack-overflow " role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 384 512" height="1em"><path fill="currentColor" d="M290.7 311L95 269.7 86.8 309l195.7 41zm51-87L188.2 95.7l-25.5 30.8 153.5 128.3zm-31.2 39.7L129.2 179l-16.7 36.5L293.7 300zM262 32l-32 24 119.3 160.3 32-24zm20.5 328h-200v39.7h200zm39.7 80H42.7V320h-40v160h359.5V320h-40z"></path></svg></a><a class="hover:text-gray-800" title="MiniZinc on GitHub" href="https://github.com/minizinc"><svg aria-hidden="true" focusable="false" data-prefix="fab" data-icon="github" class="svg-inline--fa fa-github " role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 496 512" height="1em"><path fill="currentColor" d="M165.9 397.4c0 2-2.3 3.6-5.2 3.6-3.3.3-5.6-1.3-5.6-3.6 0-2 2.3-3.6 5.2-3.6 3-.3 5.6 1.3 5.6 3.6zm-31.1-4.5c-.7 2 1.3 4.3 4.3 4.9 2.6 1 5.6 0 6.2-2s-1.3-4.3-4.3-5.2c-2.6-.7-5.5.3-6.2 2.3zm44.2-1.7c-2.9.7-4.9 2.6-4.6 4.9.3 2 2.9 3.3 5.9 2.6 2.9-.7 4.9-2.6 4.6-4.6-.3-1.9-3-3.2-5.9-2.9zM244.8 8C106.1 8 0 113.3 0 252c0 110.9 69.8 205.8 169.5 239.2 12.8 2.3 17.3-5.6 17.3-12.1 0-6.2-.3-40.4-.3-61.4 0 0-70 15-84.7-29.8 0 0-11.4-29.1-27.8-36.6 0 0-22.9-15.7 1.6-15.4 0 0 24.9 2 38.6 25.8 21.9 38.6 58.6 27.5 72.9 20.9 2.3-16 8.8-27.1 16-33.7-55.9-6.2-112.3-14.3-112.3-110.5 0-27.5 7.6-41.3 23.6-58.9-2.6-6.5-11.1-33.3 2.6-67.9 20.9-6.5 69 27 69 27 20-5.6 41.5-8.5 62.8-8.5s42.8 2.9 62.8 8.5c0 0 48.1-33.6 69-27 13.7 34.7 5.2 61.4 2.6 67.9 16 17.7 25.8 31.5 25.8 58.9 0 96.5-58.9 104.2-114.8 110.5 9.2 7.9 17 22.9 17 46.4 0 33.7-.3 75.4-.3 83.6 0 6.5 4.6 14.4 17.3 12.1C428.2 457.8 496 362.9 496 252 496 113.3 383.5 8 244.8 8zM97.2 352.9c-1.3 1-1 3.3.7 5.2 1.6 1.6 3.9 2.3 5.2 1 1.3-1 1-3.3-.7-5.2-1.6-1.6-3.9-2.3-5.2-1zm-10.8-8.1c-.7 1.3.3 2.9 2.3 3.9 1.6 1 3.6.7 4.3-.7.7-1.3-.3-2.9-2.3-3.9-2-.6-3.6-.3-4.3.7zm32.4 35.6c-1.6 1.3-1 4.3 1.3 6.2 2.3 2.3 5.2 2.6 6.5 1 1.3-1.3.7-4.3-1.3-6.2-2.2-2.3-5.2-2.6-6.5-1zm-11.4-14.7c-1.6 1-1.6 3.6 0 5.9 1.6 2.3 4.3 3.3 5.6 2.3 1.6-1.3 1.6-3.9 0-6.2-1.4-2.3-4-3.3-5.6-2z"></path></svg></a></div></div></div><div class="flex flex-row flex-wrap items-center justify-center gap-x-4"><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" title="Monash University" href="https://www.monash.edu"><img alt="Monash University" loading="lazy" width="258" height="110" decoding="async" data-nimg="1" style="color:transparent" src="/_next/static/media/monash.cc224465.svg"/></a><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" title="OPTIMA" href="https://optima.org.au"><img alt="OPTIMA" loading="lazy" width="346" height="80" decoding="async" data-nimg="1" style="color:transparent" src="/_next/static/media/optima.bfc5f5f2.svg"/>
31</a></div><p class="mx-auto w-9/12 text-center text-xs text-gray-800">MiniZinc is partially funded by the Australian Government through the Australian Research Council Industrial Transformation Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA), Project ID IC200100009.</p><div><p class="text-sm text-gray-800">© <!-- -->2026<!-- --> MiniZinc Team</p></div></div></div></footer></div>
31<script id="__NEXT_DATA__" type="application/json">{"props":{"pageProps":{}},"page":"/downloads","query":{},"buildId":"dEy3PQ5tPFrqcPx0KRBMe","runtimeConfig":{"copyrightYear":2026,"basePath":""},"nextExport":true,"autoExport":true,"isFallback":false,"scriptLoader":[]}</script>
31</body></html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.