An external MiniZinc-to-FlatZinc translator must be made available to SICStus and must accept:
<model>.mzn
as only argument.
There are two ways to make such a translator available to SICStus:
MZN2FZN
to the location of the
translator executable.
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:
SOLNS2OUT
to the location of the
translator executable.
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.