基于命令行的Minizinc并行求解

Question

Minizinc IDE在config部分中有一个并行求解器选项(“线程数”)。但是，在从命令行编译时，mzn2fzn二进制文件似乎不支持并行选项。是否可以从命令行编译的文件中并行求解？

Answer 1

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

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

通过命令行，您可以分别调用编译器和后端，也可以使用minizinc.exe作为伞式工具对它们进行顺序调用。所有工具都有一个命令行选项--help来解释参数。minizinc.exe接受-p或--parallel在多线程模式下运行后端，前提是支持这种方式。