MiniZinc to FlatZinc

[Neng-Fa Zhou]

I found that the command

minizinc -c -G picat  --fzn  file.fzn file.mzn file.dzn

I used before to translate MiniZinc to FlatZinc no longer works with the latest version. It issues the following error message:

"Using the --compile (or -c) flag requires that a solver is selected explicitly using the --solver flag"

Why do I need to specify a solver even though I don't use it?

NF

[Samrat Kadge]

Not sure when you used the command last time.

You are referring to a solver "picat" through -G option, which looks for "globals" directory based at stdlib.

you can try using. --solver picat.

Check if picat is listed in supported solvers using "minizinc --help" (wher you can find -G option as well)

Why you need a solver for Flatzinc? You can read tutorial Introduction 1.1 

[Neng-Fa Zhou]

Thanks for the tips. I managed to hook Picat to minizinc as an underlying solver and solve MiniZinc models. However, I notice that Picat's FlatZinc interpreter doesn't like FlatZinc models generated with the option "-c" because they contain comments. The option "--no-output-comments" doesn't seem to work; MiniZInc gives the error 

minizinc: Unrecognized option or bad format `--no-output-comments'.

Cheers,

NF 

--
You received this message because you are subscribed to the Google Groups "MiniZinc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minizinc+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/minizinc/28526b56-cfa4-4fe0-99ca-07066db29117n%40googlegroups.com.