'--intermediate-solutions' command line argument about minizinc-python HOT 1 CLOSED

Thank you for the report. --intermediate-solutions is a valid MiniZinc flag, but it is part of the standard solver flags. You can find it in the command line documentation when you request the help for a solver that supports it. For example, minizinc --help gecode will include:

  -i, --intermediate --intermediate-solutions
    Print intermediate solutions for optimisation problems.

If your solve supports outputting intermediate solutions, then you should make sure you include -i in the standard flags of your MiniZinc Solver Configuration file: https://www.minizinc.org/doc-2.7.2/en/fzn-spec.html#solver-configuration-file (and make sure your executable correctly handles it).

This issue does, however, point out a problem. MiniZinc Python shouldn't provide this flag unless the solver supports it. I think it was my understanding that this flag would be ignored when -a and -i were not supported by a solver, but that is not the case.

from minizinc-python.