Recording used solver

[vdi...@gmail.com]

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]

It seems you are looking for the parameter file feature: https://www.minizinc.org/doc-2.8.1/en/command_line.html#command-line-parameter-files

These files can be created from the IDE (https://www.minizinc.org/doc-2.8.1/en/minizinc_ide.html#solver-configurations) and then stored using the "File > Store Solver Configuration" option.