An external MiniZinc-to-FlatZinc translator must be present in a directory included in the PATH environment variable and behave as follows:

The G12 MiniZinc and FlatZinc distribution includes such a MiniZinc-to-FlatZinc translator currently available for Linux x86, 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.