Abstract
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes a good attempt to handle the most obvious obstacle: there are hundreds of potential global constraints, most handled by few or no systems. A standard input language for solvers gives us the capability to compare different solvers. Hence, every year since 2008 we have run the MiniZinc Challenge comparing different solvers that support MiniZinc. In this report we discuss the philosophy behind the challenge, why we do it, how we do it, and why we do it that way.
Similar content being viewed by others
References
Apt, K., & Wallace, M. (2007). Constraint logic programming using ECLiPSe. Cambridge: Cambridge University Press.
Fourth international CSP solver competition (2009). http://www.cril.univ-artois.fr/CPAI09/.
Huang, J. (2008). Universal booleanization of constraint models. In P. Stuckey (Ed.), 14th int. conf. on principles and practice of constraint programming (CP’08), LNCS (Vol. 5202, pp. 144–158). Heidelberg: Springer.
JaCoP Java Constraint Programming Solver (2010). http://jacop.osolpro.com/.
Minizinc challenge (2009). http://www.g12.csse.unimelb.edu.au/minizinc/challenge2009/challenge.html.
Minizinc + Flatzinc (2010). http://www.g12.csse.unimelb.edu.au/minizinc/.
Nethercote, N., Stuckey, P., Becket, R., Brand, S., Duck, G., & Tack, G. (2007). Minizinc: Towards a standard CP modelling language. In C. Bessiere (Ed.), Proceedings of the 13th international conference on principles and practice of constraint programming, LNCS (Vol. 4741, pp. 529–543). Heidelberg: Springer.
SCIP (2010). Solving constraint integer programs. http://scip.zib.de/scip.shtml.
Schulte, C., Lagerkvist, M., & Tack, G. (2010). Gecode. http://www.gecode.org/.
SICStus Prolog (2010). http://www.sics.se/sisctus/.
Simonis, H. (2009). A hybrid constraint model fo the routing and wavelength assignment problem. In I. Gent (Ed.), Proceedings of the 15th international conference on principles and practice of constraint programming, LNCS (Vol. 5732, pp. 104–118). Heidelberg: Springer.
Smith, B., & Gent, I. (2005). Constraint modelling challenge 2005. www.cs.st-andrews.ac.uk/~ipg/challenge/.
Third international CSP solver competition (2008). http://www.cril.univ-artois.fr/CPAI08/.
Van Gelder, A., Le Berre, D., Biere, A., Kullmann, O., & Simon, L. (2005). Purse-based scoring for comparison of exponential-time programs. http://users.soe.ucsc.edu/~avg/purse-poster.pdf.
XCSP 2.1 (2008). http://www.cril.univ-artois.fr/CPAI08/XCSP2_1.pdf.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Stuckey, P.J., Becket, R. & Fischer, J. Philosophy of the MiniZinc challenge. Constraints 15, 307–316 (2010). https://doi.org/10.1007/s10601-010-9093-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10601-010-9093-0