1(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[5847],{43340:(e,i,s)=>{(window.__NEXT_P=window.__NEXT_P||[]).push(["/challenge/2013/results",function(){return s(46853)}])},46853:(e,i,s)=>{"use strict";s.r(i),s.d(i,{default:()=>j});var r=s(37876),n=s(63141),l=s(99638),c=s(85931),t=s(37472),h=s(48378),o=s(77328),d=s.n(o),x=s(54886),p=s(17336);function j(){return(0,r.jsxs)(r.Fragment,{children:[(0,r.jsx)(d(),{children:(0,r.jsx)("title",{children:"MiniZinc - Challenge 2013 Results"})}),(0,r.jsx)(c.Y,{}),(0,r.jsx)("main",{children:(0,r.jsx)(n.m,{children:(0,r.jsxs)("article",{className:"prose prose-minizinc max-w-none py-6",children:[(0,r.jsx)("h2",{children:"MiniZinc Challenge 2013 Results"}),(0,r.jsx)(h.B,{className:"not-prose",items:[["MiniZinc Challenge","/challenge"],["Challenge 2013","/challenge/2013"],"Results"]}),(0,r.jsx)("h3",{children:"Entrants"}),(0,r.jsxs)("ul",{children:[(0,r.jsxs)("li",{children:[(0,r.jsx)(t.N,{href:"http://choco.emn.fr",children:"Choco"})," (",(0,r.jsx)(t.N,{href:"description_choco.txt",children:"description"}),"). A Java FD solver."," "]}),(0,r.jsxs)("li",{children:[(0,r.jsx)(t.N,{href:"http://ima.udg.edu/Recerca/GrupESLIP.html",children:"Fzn2smt"})," ","(",(0,r.jsx)(t.N,{href:"description_fzn2smt.txt",children:"description"}),"). Translates to SMT, uses"," ",(0,r.jsx)(t.N,{href:"http://yices.csl.sri.com/",children:"Yices"}),"."," "]}),(0,r.jsxs)("li",{children:[(0,r.jsx)(t.N,{href:"http://www.gecode.org",children:"Gecode"})," (",(0,r.jsx)(t.N,{href:"description_gecode.txt",children:"description"}),"). A C++ FD solver."," "]}),(0,r.jsxs)("li",{children:[(0,r.jsx)(t.N,{href:"http://products.ndis.jp/iz/g12distrib.html",children:"izplus"})," ","(",(0,r.jsx)(t.N,{href:"description_izplus.txt",children:"description"}),")."," "]}),(0,r.jsxs)("li",{children:[(0,r.jsx)(t.N,{href:"http://jacop.osolpro.com",children:"JaCoP"})," (",(0,r.jsx)(t.N,{href:"description_jacop.txt",children:"description"}),"). A Java FD solver."," "]}),(0,r.jsxs)("li",{children:[" ","Mistral 2.0 (",(0,r.jsx)(t.N,{href:"description_mistral.txt",children:"description"}),")."," "]}),(0,r.jsx)("li",{children:" Numberjack. A portfolio solver. "}),(0,r.jsxs)("li",{children:[(0,r.jsx)(t.N,{href:"http://www.opturion.com/cpx.html",children:"Opturion CPX"})," ","(",(0,r.jsx)(t.N,{href:"description_opturion_cpx.txt",children:"description"}),")."," "]}),(0,r.jsxs)("li",{children:[(0,r.jsx)(t.N,{href:"http://code.google.com/p/or-tools",children:"OR-Tools"})," (",(0,r.jsx)(t.N,{href:"description_or_tools.txt",children:"description"}),")."," "]}),(0,r.jsxs)("li",{children:[(0,r.jsx)(t.N,{href:"picat-lang.org/projects.html",children:"Picat"})," (",(0,r.jsx)(t.N,{href:"description_picat.txt",children:"description"}),")."," "]})]}),(0,r.jsx)(p.n,{year:2013}),(0,r.jsx)("h3",{children:"Global constraint per model"}),(0,r.jsx)("p",{children:"The following table lists the global constraints used by each model in this year's challenge."}),(0,r.jsx)(x.R,{year:2013}),(0,r.jsx)("hr",{}),(0,r.jsx)("p",{children:"The files on this page are for MiniZinc ver
1sion 1.6."})]})})}),(0,r.jsx)(l.w,{})]})}}},e=>{e.O(0,[7725,8805,6701,4040,6958,1958,636,6593,8792],()=>e(e.s=43340)),_N_E=e.O()}]);
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.