Can the MiniZinc IDE save solver configuration settings?

[Elias Zamaria]

I like the MiniZinc IDE overall, but I think it is sometimes annoying that it prints intermediate solutions for optimization problems, instead of just the final solution. Is there any way to make it only print the final solution, and remember my preference?

I noticed that the configuration editor panel has a "Print intermediate solutions" checkbox. If I uncheck it, everything works well until I exit MiniZinc or close the project I'm working on. When I do that, I see a dialog box saying "There are modified solver configurations. Do you want to discard the changes or cancel?", but the only choices are "Don't Save" and "Cancel". Why is there no option to save my configuration?

I noticed the "Save solver configuration" command under the "File" menu. But if I click it, I am given the option to save the configuration in a file. And the next time I start MiniZinc, I don't see my changed setting unless I manually open the file, which is kind of annoying.

How can I make the MiniZinc IDE remember my solver configuration settings, and keep them that way forever, or until I manually change them back?

[vdi...@gmail.com]

Did you make a project, so the configuration file is part of the project? I start with the .mzp file, not the .mzn file to be sure I have the right settings.

Op maandag 19 januari 2026 om 02:57:34 UTC+1 schreef Elias Zamaria:

[Elias Zamaria]

Thanks for your response. Yes, I made a project, and discovered that I can save an mzp file as part of the project. But I would still ideally like my solver configuration settings to be the defaults for all new projects, and for every time I start the IDE. Can this be done?