Specifications of Zinc, MiniZinc, and FlatZinc

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.

Current release: Version 1.6

Version 1.5

Version 1.4

Version 1.3

Version 1.2

Version 1.1

Version 1.0

Version 0.9

Version 0.8.1

Version 0.8