Multithreading 从命令行并行求解minizing

MinizinIDE在配置部分有一个并行解算器选项（“线程数”）。但是，从命令行编译时，

mzn2fzn

二进制文件似乎不支持并行选项。可以从命令行编译文件并行求解吗？

您可以通过集成开发环境（

IDE

）或通过命令行调用使用Minizing。我使用的是

ide2.0.8

在

IDE

中，使用

configuration

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

---

通过命令行，您可以分别调用编译器和后端，也可以使用

minizing.exe

作为伞式工具依次调用它们。所有工具都有一个命令行选项

--help

，用于解释参数

Minizin.exe

接受

-p

或

--parallel

以多线程模式运行后端，前提是支持这种模式。

多线程命令行开关

-p

被一些Minizin解算器后端接受。但是，Minizin编译器是单线程的。这应该没有问题，因为求解阶段通常比从MiniZin到FlatZin的编译消耗更多的计算能力。明确地说，我想向mzn2fzn传递一个选项，告诉后端解算器在可能的情况下并行求解（我不想并行编译程序）。但听起来你是说这不存在，必须根据后端解算器的具体情况来指定，对吗？我不知怎么地不知道用

minizin

二进制文件代替mzn2fzn+后端二进制文件，但这似乎回答了我的问题。