10.39.3.1 Prerequisites

An external MiniZinc-to-FlatZinc translator must be made available to SICStus:

• 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 solver specific global constraint definitions.

There are currently two alternatives to make such a translator available to SICStus:

1. Set the environment variable MZN2FZN to the location of the translator.
2. Put a translator named mzn2fzn in a directory included in the PATH environment variable.

The G12 MiniZinc and FlatZinc distribution includes such a MiniZinc-to-FlatZinc translator currently available for Linux x86, Linux x86-64, 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.