[ library(minizinc) | Third Party Libraries | Reference Manual | Alphabetic Index ]

# mzn2fzn(+ModelFile, +InstFileOrParMap, ++SolverOrOptions, -FznFile)

Convert a MiniZinc model into a FlatZinc model

ModelFile
  File name (extension defaults to .mzn)
InstFileOrParMap
  Instance file name (extension defaults to .mzn), or list of Id=Term correspondences
SolverOrOptions
  Name of solver mapping module, or zn_options-structure
FznFile
  Output: name of generated FlatZinc file

## Description

Converts a MiniZinc model (given a model file and an instance file or parameter map) into a FlatZinc model, by invoking the external mzn2fzn converter with the appropriate arguments. The name of the output file is the same as the input file, with the extension changed to .fzn. The options should specify the solver that is intended to be used on the FlatZinc model (so that the correct version of globals.mzn is used), and the fzn_tmp option should be set to 'file' (the default).

### Modes and Determinism

- mzn2fzn(+, +, ++, -) is det

## Examples

        ?- mzn2fzn(mymodel, [], zn_options{solver:fzn_ic,fzn_tmp:file}, FznFile).
        FznFile = "mymodel.fzn"
        Yes (0.00s cpu)

## See Also

mzn_run / 3, flatzinc : fzn_run / 2, flatzinc : struct(zn_options)