The MiniZinc Challenge is an annual competition of constraint programming solvers on a variety of benchmarks. It has been held every year since 2008, with the winners being announced at the annual International Conference on Principles and Practice of Constraint Programming.
If you use benchmarks from the MiniZinc Challenge in your publication or you want to have reference for the challenge, please refer to at least one of following publications.
A list of all problems and MiniZinc globals used in previous challenges is available here.
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | OR-Tools | SICStus Prolog | Choco 4 |
Free | OR-Tools | PicatSAT | iZplus |
Parallel | OR-Tools | PicatSAT | Choco 4 |
Local Search | Yuck | ||
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | OR-Tools | SICStus Prolog | JaCoP |
Free | OR-Tools | PicatSAT | Choco 4 |
Parallel | OR-Tools | PicatSAT | Geas |
Local Search | Yuck | ||
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | OR-Tools | JaCoP | SICStus Prolog |
Free | OR-Tools | PicatSAT | iZplus |
Parallel | OR-Tools | PicatSAT | iZplus/Choco 4 |
Open | OR-Tools | PicatSAT | iZplus/Choco 4 |
Local Search | Yuck | OscaR/CBLS | |
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | SICStus Prolog | JaCoP | Choco 4 |
Free | OR-Tools | PicatSAT | Mistral 2.0 |
Parallel | OR-Tools | PicatSAT | Mistral 2.0 |
Open | OR-Tools | sunny-cp | PicatSAT |
Local Search | Yuck | OscaR/CBLS | |
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | OR-Tools | JaCoP | SICStus Prolog |
Free | OR-Tools | iZplus | Picat SAT |
Parallel | OR-Tools | iZplus | Choco 4 |
Open | OR-Tools | sunny-cp | iZplus |
Local Search | iZplus | Yuck | OscaR/CBLS |
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | OR-Tools | JaCoP | Choco 4 |
Free | OR-Tools | Picat SAT | Choco 4 and HaifaCSP |
Parallel | OR-Tools | Choco 4 | Picat SAT |
Open | OR-Tools | sunny-cp | Choco 4 |
Local Search | iZplus | Yuck | OscaR/CBLS |
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | OR-Tools LCG | JaCoP | Choco 4 |
Free | iZplus | OR-Tools LCG | Picat SAT |
Parallel | Choco 4 | iZplus | OR-Tools LCG |
Open | sunny-cp | Choco 4 | OR-Tools LCG |
Local Search | iZplus | Yuck | OscaR/CBLS |
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | OR-Tools | JaCoP | Choco |
Free | HaifaCSP | Picat SAT | iZplus |
Parallel | HaifaCSP | Picat SAT | iZplus |
Open | sunny-cp | HaifaCSP | Picat SAT |
Best local search solver | OscaR/CBLS | ||
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | Opturion CPX | OR-Tools | JaCoP |
Free | Opturion CPX | iZplus | OR-Tools |
Parallel | OR-Tools | Opturion CPX | Choco |
Open | sunny-cp | OR-Tools | Opturion CPX |
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | OR-Tools | Opturion CPX | SICStus Prolog |
Free | iZplus | Opturion CPX | Choco |
Parallel | OR-Tools | Opturion CPX | Choco |
Open | OR-Tools | Opturion CPX | Choco |
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | Opturion/CPX | OR-Tools | Gecode |
Free | Opturion/CPX | OR-Tools | izplus |
Parallel | OR-Tools | Choco | Opturion/CPX |
Open | OR-Tools | Choco | Opturion/CPX |
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | Gecode | JaCoP | OR-Tools |
Free | Gecode | Fzn2smt | izplus |
Parallel | Gecode | Fzn2smt | izplus |
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | Gecode | JaCoP | B-Prolog |
Free | Gecode | fzn2smt | JaCoP |
Parallel | Gecode | fzn2smt | JaCoP |
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | Gecode | JaCoP | |
Free | Gecode | fzn2smt | JaCoP |
Parallel | Gecode + fzn2smt | JaCoP | |
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | Gecode | Sicstus Prolog | |
Free | Gecode | Sicstus Prolog | |
Category | Gold | Silver | Bronze |
---|---|---|---|
Fixed | Gecode | Eclipse Prolog | |