Is your problem in here?
The MiniZinc Challenge is the yearly competition of constraint solvers. Every year, 20 new problems are submitted, many from industry and research. This site covers all 60 problems from 2024 to 2026, explains each one, and shows how the solvers ranked. If one of them resembles your problem, the rankings tell you which solvers are worth trying first.
OR-Tools CP-SAT finished in the top three in 145 of 220 problem results, and first in 71
Each square is one problem in one category. Select a square to open the problem.
1st2nd3rd
4th–5th6th or lowercategory not held
Official category winners
| Year | Fixed | Free | Parallel | Open | Local search |
|---|---|---|---|---|---|
| 2024 | OR-Tools CP-SAT | OR-Tools CP-SAT | OR-Tools CP-SAT | OR-Tools CP-SAT | OR-Tools CP-SAT LS |
| 2025 | OR-Tools CP-SAT | OR-Tools CP-SAT | OR-Tools CP-SAT | not held | OR-Tools CP-SAT LS |
| 2026 | OR-Tools CP-SAT | OR-Tools CP-SAT | OR-Tools CP-SAT | OR-Tools CP-SAT | QiuQi-MIXSolver |
Gold medal per category from minizinc.org. Medals exclude reference solvers entered by the organisers (such as Gurobi, CP Optimizer and Chuffed); the per-problem rankings on this site include them.