Summary

MiniZinc is a language designed for specification of decision and optimisation problems The model is declarative, although it can contain annotations The language provides large number of operators and built-in functions to simplify modelling Advanced models in MiniZinc use predicates to define complex subproblem constraints Global constraints (better solving) User defined constraints (better readability) Efficiency depends on the model formulation Developing an efficient decision model requires sometimes considerable experimentation (NP-hard problems are hard problems)