This page contains the MZN code we used in the Work "NightSplitter".
Constraint Programming (CP) is a well-know approach to solve NP-Hard problems. Among many constraint modeling languages available. The Minizinc (MZN) is one of the most accredited modelling format and it is supported by a large variety of constraint solvers.
The model utilizes the notions defined in the Work "NightSplitter". As the traditional way of modeling, in our script, we have defined the entities as variable and expressed the relations between them. In particular, we used element constraint to ensure that the combination of variable values belongs to the input array. In addition, we introduced several constraints for simmetry breaking, for example, we keep the first user belonging to the first group.
Prof. M. Gabbrielli - email@example.com