multithreading - 从命令行在 Minizinc 中并行求解

Question

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

Answer 1

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

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

通过命令行，你既可以分别调用编译器和后端，也可以minizinc.exe作为一个综合工具依次调用它们。所有工具都有一个命令行选项--help来解释参数。minizinc.exe如果支持，则接受-p或--parallel以多线程模式运行后端。