Specifications of Zinc, MiniZinc, and FlatZinc

For the current, official specifications of MiniZinc and FlatZinc, refer to the Reference Manual (part of the MiniZinc Handbook).

This page contains archived versions of previous 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.

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