10.39.3.1 Prerequisites

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

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.g12.csse.unimelb.edu.au/minizinc for more information and download links.


Send feedback on this subject.