This page contains the official specifications of Zinc, MiniZinc and FlatZinc, as
well as the specification of the MiniZinc to FlatZinc translation.
Note that Zinc and MiniZinc are specified in a single document because
they have a lot of overlap.
Nonetheless, the parts that pertain to MiniZinc are clearly marked.