# Call for Problem Submission for the MiniZinc Challenge 2015

The MiniZinc Challenge is an annual solver competition in the
Constraint Programming (CP) community held before the International
Conference on Principles and Practice of Constraint Programming.
The MiniZinc Challenge 2015 is seeking interesting problem sets on
which various constraint solving technologies should be compared on
this year. Everyone is allowed to submit problems regardless of
whether they are an entrant in the challenge.

## Important dates and deadlines:

- Problem submission open: now
- Problem submission deadline:
**Fri, 5 June 2015**

## Problem submission

- Send an email with the subject line “[MZNC15] benchmark” to mzn-challenge 'at' minizinc.org

There are no restrictions on the kind of problems, but ideally they
should be of interesting nature such as practice-related problems and
puzzles etc. Problem submissions with real-world instances are welcome
warmly. Models for the 2015 challenge can only use integer and Boolean
variables.

Because we anticipate local search entrants in this years challenge, ideally a MiniZinc model should wrap symmetry breaking constraints in a predicate "symmetry" defined as

predicate symmetry(var bool: c) = c;

and wrap redundant constraints in a predicate "redundant" defined similarly as
predicate redundant(var bool: c) = c;

The aim of this wrapping is that local search solvers can "turn off" symmetry breaking and redundant constraints, in order to improve solving.
The problem submitter provides a MiniZinc model of the problem and
at least 20 instances ranging from easy-to-solve to hard-to-solve for an
“ordinary” CP system. It is strongly encouraged to make use of the
global constraint definitions provided in the MiniZinc 2.0 distribution.
Please, follow the links below for submission instructions and requirements.

www.minizinc.org/challenge2015/challenge.html

www.minizinc.org/challenge2015/rules2015.html