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).
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |