10.46.3.1 Prerequisites

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

• a MiniZinc program file <model>.mzn as only argument.
• the option --no-optimise with the meaning that the translation should be unoptimized.
• the option --output-fzn-to-file file with the meaning that the translated FlatZinc program is written onto file.
• the option --output-ozn-to-file file with the meaning that the output commands of the FlatZinc program are written onto file.
• (multiple instances of) the option --data file with the meaning that file is an included MiniZinc data file.
• (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 two ways to make such a translator available to SICStus:

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

An external solution printer, such as solns2out, should be available to SICStus. This can be done in two ways:

1. Set the environment variable SOLNS2OUT to the location of the translator executable.
2. Put a translator executable named solns2out in a directory included in the PATH environment variable.

The G12 MiniZinc and FlatZinc distribution includes such a MiniZinc-to-FlatZinc translator and solution printer. See the G12 MiniZinc and FlatZinc web pages at http://www.minizinc.org for more information and download links.