How to use parallel sover from Python? about minizinc-python HOT 7 CLOSED

CBC (for windows non-parallel) is build into MiniZinc. To use Parallel CBC on windows you will have to recompile MiniZinc with the correct version of CBC and set this MiniZinc version to be used on the path.

See the instructions in the MiniZinc documentation: https://www.minizinc.org/doc-2.5.5/en/installation_detailed_windows.html#coin-or-cbc

from minizinc-python.

(Note that the answer to the general question in the title is to set the processes argument in the solve method: https://minizinc-python.readthedocs.io/en/latest/api.html#minizinc.instance.Instance.solve, but this is only supported when supported by the solver)

from minizinc-python.

Ok, so there is no chance to use the existing 'external' parallel CBC? I wanted to avoid to recompile because this usually doesn't work out of the box an produces long lasting pain ...
I cannot use Visual Studio, so is it possible to compile with MinGW?

And what about Gecode? Does it support parallelization?

from minizinc-python.

MiniZinc currently does not have an interface for an external version of CBC.

Gecode does support multiple threads using the -p flag. So do Gurobi and OR-Tools (and I think CPLEX does as well)

from minizinc-python.

Ok, bad for CBC, but nevertheless we come closer to what I need. How can I activate multiple threads for Gecode when running from minizinc-python?

from minizinc-python.

(Note that the answer to the general question in the title is to set the processes argument in the solve method: https://minizinc-python.readthedocs.io/en/latest/api.html#minizinc.instance.Instance.solve, but this is only supported when supported by the solver)

^^^^^

from minizinc-python.

Oh, sorry and thank you. I totally missed this parameter.

So at least I can run problems in parallel using Gecode. And I hope someone will manage to provide a parallel CBC, since - according to the web - it seems to be quite difficult to compile a parallel CBC with MiniZinc on Windows (even if one can download parallel CBC stand-alone binaries for windows).

Thank you very much again!!!

from minizinc-python.