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

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 executable.
  2. Put a translator executable named mzn2fzn in a directory included in the PATH environment variable.

The G12 MiniZinc and FlatZinc distribution includes such a MiniZinc-to-FlatZinc translator. See the G12 MiniZinc and FlatZinc web pages at http://www.g12.csse.unimelb.edu.au/minizinc for more information and download links.

Send feedback on this subject.