10.39.3.1 Prerequisites

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.
  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.


Send feedback on this subject.