https://www.minizinc.org/_next/static/chunks/pages/challenge/2025-01ac91d7eca18208.js

1(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[3195],{39364:(e,n,i)=>{"use strict";i.d(n,{M:()=>t,p:()=>l});var s=i(37876),r=i(37472);let l={2026:(()=>{let e="Fri, 8 May 2026";return{announcements:[(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2026-07-23"})," Announcements of the results are"," ",(0,s.jsx)(r.N,{href:"/challenge/2026/results",children:"here"}),"."]}),(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2026-06-09"})," A typo in the rules regarding the command used for running solvers was corrected."]}),(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2026-04-23"})," Problem submission deadline extended."]}),(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2026-01-19"})," Official"," ",(0,s.jsx)(r.N,{href:"/challenge/2026/call_for_problems",children:"Call for Problems"})," ","for the MiniZinc Challenge."]})],problemSubmissionDeadline:e,minizinc:"2.9.7",dates:[(0,s.jsxs)(s.Fragment,{children:["Registration opens: ",(0,s.jsx)("strong",{children:"Now"}),"."]}),(0,s.jsxs)(s.Fragment,{children:["Problem submission deadline: ",(0,s.jsx)("s",{children:"Fri, 24 April 2026"})," ",(0,s.jsx)("strong",{children:e}),"."]}),(0,s.jsxs)(s.Fragment,{children:["Solver submission begins: ",(0,s.jsx)("strong",{children:"Mon, 4 May 2026"}),"."]}),(0,s.jsxs)(s.Fragment,{children:["Solver submission deadline: ",(0,s.jsx)("strong",{children:"Fri, 19 June 2026"}),"."]}),(0,s.jsxs)(s.Fragment,{children:["Announcement of results at"," ",(0,s.jsx)(r.N,{href:"https://cp2026.a4cp.org/",children:"CP2026"}),":"," ",(0,s.jsx)("strong",{children:"20 - 23 July 2026"})," (Lisbon, Portugal)."]})]}})(),2025:(()=>{let e="Fri, 6 June 2025";return{announcements:[(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2026-01-14"})," Amendment made to the results to fix an issue with undetected incorrect optimality claims. Thanks to Alessio Pellegrino for reporting."]}),(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2025-09-15"})," Announcements of the results are"," ",(0,s.jsx)(r.N,{href:"/challenge/2025/results",children:"here"}),"."]}),(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2025-05-16"})," The tie-breaking procedure for incomplete scoring has been updated in the"," ",(0,s.jsx)(r.N,{href:"/challenge/2025/rules#incomplete-scoring-procedure",children:"rules"}),"."]}),(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2025-05-16"})," Problem submission deadline extended."]}),(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2025-02-11"})," Official"," ",(0,s.jsx)(r.N,{href:"/challenge/2025/call_for_problems",children:"Call for Problems"})," ","for the MiniZinc Challenge."]})],problemSubmissionDeadline:e,minizinc:"2.9.3",dates:[(0,s.jsxs)(s.Fragment,{children:["Registration opens: ",(0,s.jsx)("strong",{children:"Now"}),"."]}),(0,s.jsxs)(s.Fragment,{children:["Problem submission deadline: ",(0,s.jsx)("s",{children:"Fri, 16 May 2025"})," ",(0,s.jsx)("strong",{children:e}),"."]}),(0,s.jsxs)(s.Fragment,{children:["Solver submission begins: ",(0,s.jsx)("strong",{children:"Mon, 26 May 2025"}),"."]}),(0,s.jsxs)(s.Fragment,{children:["Solver submission deadline: ",(0,s.jsx)("strong",{children:"Fri, 11 July 2025"}),"."]}),(0,s.jsxs)(s.Fragment,{children:["Announcement of results at"," ",(0,s.jsx)(r.N,{href:"https://cp2025.a4cp.org/",children:"CP2025"}),":"," ",(0,s.jsx)("strong",{children:"10 - 15 August 2025"})," (Glasgow, Scotland)."]})]}})(),2024:(()=>{let e="Fri, 28 June 2024";return{announcements:[(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2026-01-14"})," Amendment made to the results to fix an issue with undetected incorrect optimality claims. Thanks to Alessio Pellegrino for reporting."]}),(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2024-09-05"})," Announcements of the results are"," ",(0,s.jsx)(r.N,{href:"/challenge/2024/results",children:"here"}),"."]}),(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2024-07-15"})," Update the"," ",(0,s.jsx)(r.N,{href:"/challenge/2024/docker",children:"Docker image preparation instructions"})," ","to fix some minor errors."]}),(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2024-06-03"})," Problem submission deadline extended."]}),(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)("strong",{children:"2024-02-12"})," Official"," ",(0,s.jsx)(r.N,{href:"/challenge/2024/call_for_problems",children:"Call for Problems"})," ","for the MiniZinc Challenge."]})],problemSubmissionDeadline:e,minizinc:"2.8.5",dates:[(0,s.jsxs)(s.Fragment,{children:["Registration opens: ",(0,s.jsx)("strong",{children:"Now"}),"."]}),(0,s.jsxs)(s.Fragment,{children:["Problem submission deadline: ",(0,s.jsx)("s",{children:"Fri, 7 June 2024"})," ",(0,s.jsx)("strong",{children:e}),"."]}),(0,s.jsxs)(s.Fragment,{children:["Solver submission begins: ",(0,s.jsx)("strong",{children:"Mon, 17 June 2024"}),"."]}),(0,s.jsxs)(s.Fragment,{children:["Solver submission deadline: ",(0,s.jsx)("strong",{children:"Fri, 2 August 2024"}),"."]}),(0,s.jsxs)(s.Fragment,{children:["Announcement of results at"," ",(0,s.jsx)(r.N,{href:"https://cp2024.a4cp.org/",children:"CP2024"}),":"," ",(0,s.jsx)("strong",{children:"2 - 6 September 2024"})," (Girona, Catalonia)."]})]}})()};function t(e){let n=e-2008+1,i=n%100;if(i>3&&i<21)return(0,s.jsxs)(s.Fragment,{children:[n,(0,s.jsx)("sup",{children:"th"})]});switch(i%10){case 1:return(0,s.jsxs)(s.Fragment,{children:[n,(0,s.jsx)("sup",{children:"st"})]});case 2:return(0,s.jsxs)(s.Fragment,{children:[n,(0,s.jsx)("sup",{children:"nd"})]});case 3:return(0,s.jsxs)(s.Fragment,{children:[n,(0,s.jsx)("sup",{children:"rd"})]})}return(0,s.jsxs)(s.Fragment,{children:[n,(0,s.jsx)("sup",{children:"th"})]})}},44959:(e,n,i)=>{"use strict";i.r(n),i.d(n,{challenge:()=>x,default:()=>p,year:()=>u});var s=i(37876),r=i(91668),l=i(39364),t=i(63141),o=i(99638),c=i(37472),h=i(85931),a=i(48378),d=i(73112),m=i(77328),g=i.n(m);let u=2025,x=l.p[u],j=function({children:e}){return(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)(g(),{children:(0,s.jsx)("title",{children:`MiniZinc - Challenge ${u}`})}),(0,s.jsx)(h.Y,{}),(0,s.jsx)("main",{children:(0,s.jsx)(t.m,{children:(0,s.jsx)("article",{className:"prose prose-minizinc max-w-none py-6",children:e})})}),(0,s.jsx)(o.w,{})]})};function f(e){let n={a:"a",br:"br",code:"code",em:"em",h2:"h2",h3:"h3",li:"li",p:"p",strong:"strong",ul:"ul",...(0,r.R)(),...e.components};return(0,s.jsxs)(s.Fragment,{children:[(0,s.jsxs)(n.h2,{id:"minizinc-challenge-",children:["MiniZinc Challenge ",u]}

1),"\n",(0,s.jsx)(a.B,{className:"not-prose",items:[["MiniZinc Challenge","/challenge"],`Challenge ${u}`]}),"\n",(0,s.jsx)(n.h3,{id:"the-challenge",children:"The Challenge"}),"\n",(0,s.jsx)(n.p,{children:"The aim of the challenge is to compare various constraint solving technology on the same problems\nsets. The focus is on finite domain propagation solvers. An auxiliary aim is to build up a library\nof interesting problem models, which can be used to compare solvers and solving technologies."}),"\n",(0,s.jsxs)(n.p,{children:["Challenge participants provide a FlatZinc or MiniZinc solver and global constraint definitions\nspecialized for their solver. Each solver is run on 100 MiniZinc model instances. For FlatZinc\nsolvers, we run the ",(0,s.jsx)(n.code,{children:"minizinc"})," compiler on the MiniZinc model and instance using the provided global\nconstraint definitions to create a FlatZinc file. The resultant FlatZinc file is then given as input\nto the provided FlatZinc solver. For MiniZinc solvers, the MiniZinc model and data are input to the\nprovided solver. Points are awarded for solving problems, speed of solution, and goodness of\nsolutions (for optimization problems)."]}),"\n",(0,s.jsx)(n.h3,{id:"announcements",children:"Announcements"}),"\n",(0,s.jsx)("ul",{children:x.announcements.map((e,n)=>(0,s.jsx)("li",{children:e},n))}),"\n",(0,s.jsx)(n.h3,{id:"dates",children:"Dates"}),"\n",(0,s.jsx)("ul",{children:x.dates.map((e,n)=>(0,s.jsx)("li",{children:e},n))}),"\n",(0,s.jsx)(n.h3,{id:"registration",children:"Registration"}),"\n",(0,s.jsxs)(n.p,{children:["Entrants must register their intention to enter the contest ",(0,s.jsx)(n.em,{children:"before"})," the final submission date."]}),"\n",(0,s.jsxs)(n.p,{children:["To register, use the ",(0,s.jsx)(n.a,{href:"https://challenge.minizinc.org",children:"MiniZinc Challenge Submission System"}),"."]}),"\n",(0,s.jsx)(n.h3,{id:"submission",children:"Submission"}),"\n",(0,s.jsxs)(n.p,{children:["All entrants need to extend the MiniZinc Docker image (available at ",(0,s.jsx)(c.N,{href:`https://hub.docker.com/r/minizinc/mznc${u}/`,children:`https://hub.docker.com/r/minizinc/mznc${u}/`}),", tag\n",(0,s.jsx)(n.code,{children:"latest"}),") with their solver. Detailed information how to prepare the Docker image are available ",(0,s.jsx)(c.N,{href:`/challenge/${u}/docker`,children:"here"}),".\nThe entrant will upload the extended image to Docker Hub and fill out a web form (provided after registration) providing the location of the image to the MiniZinc organisers."]}),"\n",(0,s.jsxs)(n.p,{children:["Please carefully read ",(0,s.jsx)(c.N,{href:`/challenge/${u}/rules`,children:"the rules"})," before submission."]}),"\n",(0,s.jsx)(n.h3,{id:"problem-submission",children:"Problem Submission"}),"\n",(0,s.jsx)(n.p,{children:"We strongly encourage all entrants to submit one or two MiniZinc models satisfying the contest\nrequirements, together with instances for these models. All models will be considered for the\nMiniZinc Challenge, however we may need to make some modifications to them in order to ensure they\nare suitable for the challenge."}),"\n",(0,s.jsxs)(n.p,{children:["The sooner they are submitted the better, the deadline is ",(0,s.jsx)(n.strong,{children:x.problemSubmissionDeadline}),". The call for problem\nsubmission is available ",(0,s.jsx)(c.N,{href:`/challenge/${u}/call_for_problems`,children:"here"}),". Please feel free to distribute it."]}),"\n",(0,s.jsx)(n.h3,{id:"rules",children:"Rules"}),"\n",(0,s.jsxs)(n.p,{children:["The rules for the MiniZinc Challenge ",u," are available ",(0,s.jsx)(c.N,{href:`/challenge/${u}/rules`,children:"here"}),".",(0,s.jsx)(n.br,{}),"\n","If we need to make changes to the rules, all registered entrants will be informed by email."]}),"\n",(0,s.jsx)(n.h3,{id:"judges",children:"Judges"}),"\n",(0,s.jsx)(n.p,{children:"The judges will be responsible for selecting the tested instances, vetting the results, and ruling\non any questions that arise during the competition."}),"\n",(0,s.jsxs)(n.ul,{children:["\n",(0,s.jsx)(n.li,{children:"Jimmy H.M. Lee. Chinese University of Hong Kong."}),"\n",(0,s.jsx)(n.li,{children:"Barry O'Sullivan, University College Cork, Ireland."}),"\n",(0,s.jsx)(n.li,{children:"Roland Yap, National University of Singapore."}),"\n"]}),"\n",(0,s.jsx)(n.h3,{id:"feedback",children:"Feedback"}),"\n",(0,s.jsxs)(n.p,{children:["This is the ",(0,l.M)(u)," time this challenge is being run, and there are many possibilities for comparing CP\nsolvers. The rules try to make a sensible set of choices for the comparison. We welcome any comments\nor suggestions regarding the running of this challenge."]}),"\n",(0,s.jsxs)(n.p,{children:["We can be contacted at ",(0,s.jsx)(n.code,{children:"challenge"})," [at] ",(0,s.jsx)(n.code,{children:"minizinc.dev"}),"."]}),"\n",(0,s.jsx)(n.h3,{id:"minizinc-forums",children:"MiniZinc forums"}),"\n",(0,s.jsxs)(n.p,{children:["The ",(0,s.jsx)(n.a,{href:"https://groups.google.com/forum/#!forum/minizinc",children:"MiniZinc forum"}

1)," is for beginners, users, and developers to discuss MiniZinc. If you\nwould like to join then sign up for the ",(0,s.jsx)(n.a,{href:"https://groups.google.com/forum/#!forum/minizinc",children:"MiniZinc forums"}),"."]}),"\n",(0,s.jsx)(n.h3,{id:"links",children:"Links"}),"\n",(0,s.jsxs)(n.p,{children:["The ",(0,s.jsx)(n.a,{href:"/",children:"MiniZinc"})," page includes a list of resources related to MiniZinc and FlatZinc."]}),"\n",(0,s.jsxs)(n.p,{children:["The ",(0,s.jsxs)(c.N,{href:(0,d.TH)("index.html",x.minizinc),children:["MiniZinc ",l.p[u].minizinc," Distribution"]})," includes a MiniZinc-to-FlatZinc\nconverter and a large suite of MiniZinc examples and benchmarks."]}),"\n",(0,s.jsxs)(n.p,{children:["The ",(0,s.jsx)(n.a,{href:"/challenge",children:"MiniZinc Challenge"})," webpage includes the results from each MiniZinc Challenge."]})]})}function p(e={}){return(0,s.jsx)(j,{...e,children:(0,s.jsx)(f,{...e})})}},48378:(e,n,i)=>{"use strict";i.d(n,{B:()=>t});var s=i(37876),r=i(69241),l=i(37472);function t({className:e,items:n}){return e=(0,r.A)("flex items-center my-4",e),(0,s.jsx)("ul",{className:e,children:n.map((e,n)=>(0,s.jsxs)("li",{className:"flex items-center",children:[n>0?(0,s.jsx)("span",{className:"px-1 text-gray-400",children:"\xbb"}):(0,s.jsx)(s.Fragment,{}),"string"==typeof e?(0,s.jsx)("span",{children:e}):(0,s.jsx)(l.N,{href:e[1],children:e[0]})]},n))})}},54189:(e,n,i)=>{(window.__NEXT_P=window.__NEXT_P||[]).push(["/challenge/2025",function(){return i(44959)}])},91668:(e,n,i)=>{"use strict";i.d(n,{R:()=>l});var s=i(14232);let r=s.createContext({});function l(e){let n=s.useContext(r);return s.useMemo(function(){return"function"==typeof e?e(n):{...n,...e}},[n,e])}}},e=>{e.O(0,[7725,8805,6701,4040,6958,636,6593,8792],()=>e(e.s=54189)),_N_E=e.O()}]);