The aim of the challenge is to compare various constraint solving technology on the same problems sets. The focus is on finite domain propagation solvers. An auxiliary aim is to build up a library of interesting problem models, which can be used to compare solvers and solving technologies.
Challenge participants provide a FlatZinc or MiniZinc solver and global constraint definitions
specialized for their solver. Each solver is run on 100 MiniZinc model instances. For FlatZinc
solvers, we run the
minizinc compiler on the MiniZinc model and instance using the provided global
constraint definitions to create a FlatZinc file. The resultant FlatZinc file is then given as input
to the provided FlatZinc solver. For MiniZinc solvers, the MiniZinc model and data are input to the
provided solver. Points are awarded for solving problems, speed of solution, and goodness of
solutions (for optimization problems).
- Registration opens: Now.
- Problem submission deadline: Fri, 2 June 2023.
- Solver submission begins: Mon, 12 June 2023.
- Solver submission deadline: Fri, 28 July 2023.
- Announcement of results at CP2023: 27 - 31 August 2023 (Toronto, Canada).