论文信息 - The Evolving World of MiniZinc

The Evolving World of MiniZinc

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. We have now used MiniZinc for 2 years, and learnt a lot about its strengths and weaknesses. MiniZinc 1.0 was released in April this year. In this experience report, we discuss the features of MiniZinc that we believe are most pertinent to making a realistic standard, and what we have added and subtracted from the language to make the task of the solver developer easier. We will also talk about the toolset development for MiniZinc, and resources we have made available and plan to make available for using MiniZinc.

[1] Peter J. Stuckey,et al. MiniZinc: Towards a Standard CP Modelling Language , 2007, CP.

[2] Peter J. Stuckey,et al. Lazy Clause Generation Reengineered , 2009, CP.

[3] Pascal Van Hentenryck. The OPL optimization programming language , 1999 .

[4] Jinbo Huang. Universal Booleanization of Constraint Models , 2008, CP.

[5] Toby Walsh,et al. Encodings of the Sequence Constraint , 2007, CP.

[6] Peter J. Stuckey,et al. The Proper Treatment of Undefinedness in Constraint Languages , 2009, CP.

[7] Krzysztof R. Apt,et al. Constraint logic programming using Eclipse , 2007 .

[8] Warwick Harvey,et al. Essence: A constraint language for specifying combinatorial problems , 2007, Constraints.

[9] Pascal Van Hentenryck,et al. Constraint-based local search , 2018, Handbook of Heuristics.

[10] Peter J. Stuckey,et al. ACD Term Rewriting , 2006, ICLP.