https://www.minizinc.org/_next/static/chunks/pages/unit-types-7e5ca18aba121188.js

1(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[4402],{26912:(e,t,s)=>{"use strict";s.r(t),s.d(t,{default:()=>a});var i=s(37876),n=s(77328),r=s.n(n),l=s(99638),c=s(85931),h=s(63141),d=s(37472);function a(){return(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)(r(),{children:(0,i.jsx)("title",{children:"MiniZinc - Unit Types"})}),(0,i.jsx)(c.Y,{}),(0,i.jsx)("main",{children:(0,i.jsx)(h.m,{children:(0,i.jsxs)("section",{id:"objects","aria-labelledby":"objects-title",children:[(0,i.jsx)("h2",{id:"objects-title",className:"text-3xl font-medium tracking-tight text-gray-900",children:"Modelling with Unit Types"}),(0,i.jsx)("hr",{className:"mt-2"}),(0,i.jsxs)("p",{className:"my-6 leading-7",children:["Download the models used for evaluation"," ",(0,i.jsx)(d.N,{href:"/unit-types/unit-types.zip",children:"here"}),"."]}),(0,i.jsxs)("p",{children:["Try the (very early) prototype"," ",(0,i.jsx)(d.N,{href:"/unit-types/prototype",children:"here"}),"."]})]})})}),(0,i.jsx)(l.w,{})]})}},62274:(e,t,s)=>{(window.__NEXT_P=window.__NEXT_P||[]).push(["/unit-types",function(){return s(26912)}])}},e=>{e.O(0,[7725,8805,6701,4040,6958,636,6593,8792],()=>e(e.s=62274)),_N_E=e.O()}]);