Running Minizinc files from Command Prompt

[Harshit Trivedi]

Hi, 

I've just started out on MiniZinc and installed the MiniZinc IDE bundle on a Windows PC. I cannot find a way to give input parameters while executing the model in the IDE. I tried using the terminal to run the model, but I get -

minizinc -a magic.mzn magic4.dzn
minizinc is not recognized as an internal or external command, operable program or batch file.

Should I be setting the environment variable for MiniZinc? If yes, what is the correct path to include in the PATH?

Thanks!
  

[guido.tack]

You can add the location where MiniZinc was installed (usually somewhere in the Program Files folder) to the PATH in order to run MiniZinc from the command line.

But you should also be able to set parameters in the IDE.  When you run a model that requires input, the IDE should ask you for the missing parameters. If you have loaded the .dzn file into the IDE, the parameter dialog will also include a drop-down menu where you can select the .dzn file.

Cheers,

Guido