此模型在Listing 2.1.1 中给出。
模型中的第一行是注释。注释开始于%来表明此行剩下的部分是注释。 MiniZinc同时也含有C语言风格的由/*开始和*/结束的块注释。
模型中的下一部分声明了模型中的变量。 此行
int:nc=3;
定义了一个问题的参数 来代表可用的颜色个数。 在很多编程语言中,参数和变量是类似的。它们必须被声明并且指定一个类型type。 在此例中,类型是int。 通过赋值,它们被设了值。 MiniZinc允许变量声明时被赋值(就像上面那一行)或者单独给出一个赋值语句。 因此下面的表示跟上面的只一行表示是相等的
int:nc;nc=3;
和很多编程语言中的变量不一样的是,这里的参数只可以被赋唯一 的值。 如果一个参数出现在了多于一个的赋值中,就会出现错误。