从命令行并行解决Minizinc

Question

Minizinc IDE在配置部分有一个并行求解器选项（＆＃34;线程数＆＃34;）。但是，从命令行进行编译时，mzn2fzn二进制文件似乎不支持并行选项。是否可以从命令行编译文件并行求解？

Answer 1

您可以通过集成开发环境（IDE）或命令行调用使用 MiniZinc 。我正在使用IDE 2.0.8

在IDE中，使用configuration选项卡指定用于搜索/解决的线程数。根据所选的后端，您最终可能会收到错误消息，相应的后端不支持多线程。

通过命令行，您可以单独调用编译器和后端，也可以使用minizinc.exe作为伞形工具按顺序调用它们。所有工具都有一个命令行选项--help来解释参数。 minizinc.exe接受-p或--parallel以多线程模式运行后端，前提是支持此功能。