A MiniZinc model consists of a sequence of items

An inclusion item include <filename (string)>; An output item output <list of string expressions>; Declaration of a variable A constraint constraint <Boolean expression>; A solve item (only one of the following is allowed) - solve satisfy; - solve maximize <arith. expression>; - solve minimize <arith. expression>; predicates and asserts (for checking parameter values) Search annotation items ann