10.38.3.1 Prerequisites

An external MiniZinc-to-FlatZinc translator must be present in a directory included in the PATH environment variable and behave as follows:

• It must have the name mzn2fzn.
• It must accept a MiniZinc program file <model>.mzn as only argument.
• It must accept the option --output-to-stdout with the meaning that the translated FlatZinc program is written on the standard output stream.
• It must accept (multiple instances of) the option --data <file> with the meaning that <file> is an included MiniZinc data file.
• It must accept (multiple instances of) the option --search-dir <dir> with the meaning that <dir> is searched for MiniZinc data files and a globals.mzn file.

The G12 MiniZinc and FlatZinc distribution includes such a MiniZinc-to-FlatZinc translator currently available for Linux x86, Mac OS X x86 and Windows/Cygwin. See the G12 MiniZinc and FlatZinc web pages at http://www.g12.csse.unimelb.edu.au/minizinc for more information and download links.