This behaviour can be switched off by unticking the Maintain these options across solver configurations checkbox. The Options section allows you configure common settings which can remain persistent as you switch between configurations. The concrete solver used is also shown in this section. This is done by selecting Save solver configuration from the *File menu. Solver configurations can be saved once cloned/modified as. Cloning a configuration is useful if you want to be able to quickly switch between different sets of options.

You can make this configuration the default (the MiniZinc IDE will remember this setting), you can reset all values to the defaults, and you can make a clone of the configuration. In this case, a built-in configuration for the Gecode solver was selected. The first section (marked with a 1 in a red circle) contains a drop-down menu to select the solver configuration. 3.2.1 The solver configuration windowįig. The second tab lets you select one or several of the data files that are currently open:įig. The left tab lets you enter the parameters manually: If the selected model requires some parameters to be set before it can be run, the MiniZinc IDE will open a parameter dialog. The current run can be aborted by clicking the Stop icon, selecting Stop from the MiniZinc menu, or using the keyboard shortcut Ctrl+E ( Cmd+E on macOS). If compilation resulted in an error message, clicking on the error will jump to the corresponding location in the model or data file. MiniZinc displays progress messages as well as any output received from the solver there. Running a model will open the Output window, usually located at the bottom of the IDE’s main window. The IDE will use the currently selected solver for compiling and running the model.

MiniZinc models can be compiled and run by clicking the Run icon, selecting Run from the MiniZinc menu, or using the keyboard shortcut Ctrl+R ( Cmd+R on macOS).

Install cplex in mac