libminizinc icon indicating copy to clipboard operation
libminizinc copied to clipboard

Enhancement: Add MIP solvers extra flags in --help

Open raphaelboudreault opened this issue 1 year ago • 0 comments

Hi, I am currently using MiniZinc with the SCIP solver. In the MiniZinc IDE, I am able to see the different "Extra configuration parameters" available for SCIP in the configuration editor. However, in the command line, using minizinc --help scip only shows the MiniZinc driver options and the SCIP MIP wrapper options. Would it be also possible to see the extra solver options with their description? Thanks!

raphaelboudreault avatar Nov 03 '23 17:11 raphaelboudreault