Recording used solver

Skip to first unread message

Nov 28, 2023, 3:01:58 AM11/28/23
to MiniZinc
I have different projects which sometimes stay on the shelf for a few month. When I continue with a project I find it hard to remember which solver I used. Is it possible to add the used solver to the output e.g. in the statistics (-s) option or in a new option?

Jip Dekker

Nov 28, 2023, 4:06:12 AM11/28/23
to MiniZinc
It seems you are looking for the parameter file feature:

These files can be created from the IDE ( and then stored using the "File > Store Solver Configuration" option.

Reply all
Reply to author
0 new messages