Problem submissions for the 2025 MiniZinc Challenge are currently open! See the call for problems for more information.

Call for Problem Participation to the MiniZinc Challenge 2018

=====================================================================

CALL FOR PARTICIPATION

The MiniZinc Challenge 2018
http://www.minizinc.org/challenge/2018

Important Dates

  • REGISTRATION opens: Now.
  • Initial submission round begins: Sun, 15 July 2018.
  • Initial submission round ends: Sat, 21 July 2018.
  • FINAL SUBMISSION: Sat, 28 July 2018.

Announcement of results at CP 2018: 28 - 31 August 2018.

=====================================================================

The aim of the MiniZinc Challenge is to start 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.

Entrants to the challenge provide a FlatZinc solver and global constraint definitions specialized for their solver. Each solver is run on 100 MiniZinc model instances. We run either (A) the translator mzn2fzn on the MiniZinc model and instance using the provided global constraint definitions to create a FlatZinc file, which is taken as input to the provided solver or (B) the provided solver directly on MiniZinc model and instance. Points are awarded for solving problems, speed of solution, and goodness of solutions (for optimization problems).

To register for the challenge send an email with the following subject line

[MZNC18] registration
to 
mzn-challenge ‘at’ lists.csiro.au