Recording used solver

22 views
Skip to first unread message

vdi...@gmail.com

unread,
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

unread,
Nov 28, 2023, 4:06:12 AM11/28/23
to MiniZinc
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.

Reply all
Reply to author
Forward
0 new messages