Minizinc IDE在config部分中具有并行求解器选项(“线程数”)。但是，从命令行进行编译时，mzn2fzn二进制文件似乎不支持并行选项。是否可以从命令行编译的文件中并行解决？
最佳答案
您可以通过集成开发环境(IDE)或通过命令行调用来使用MiniZinc。我正在使用IDE 2.0.8
在IDE中，使用configuration选项卡指定用于搜索/求解的线程数。根据所选的后端，您可能会收到一条错误消息，指出相应的后端不支持多线程。
通过命令行，您可以分别调用编译器和后端，也可以使用minizinc.exe作为伞形工具依次调用它们。所有工具都有一个命令行选项--help来解释参数。如果支持，minizinc.exe接受-p或--parallel在多线程模式下运行后端。
关于multithreading - 从命令行在Minizinc中并行求解，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/34662129/