从命令行在 Minizinc 中并行求解
Parallel solving in Minizinc from the command line
Minizinc IDE 在配置部分有一个并行求解器选项 ("Number of threads")。但是，从命令行编译时，mzn2fzn 二进制文件似乎不支持并行选项。是否可以从命令行编译文件并行求解？
您可以通过集成开发环境 (IDE) 或通过命令行调用使用 MiniZinc。我正在使用 IDE 2.0.8
在 IDE 中，使用 configuration 选项卡指定要用于 searching/solving 的线程数。根据所选的后端，您可能会收到一条错误消息，即 multi-threading 不支持相应的后端。
通过命令行，您可以分别调用编译器和后端，也可以使用 minizinc.exe 作为伞形工具依次调用它们。所有工具都有一个命令行选项 --help 来解释参数。 minizinc.exe 在 multi-threading 模式下接受 -p 或 --parallel 到 运行 后端，前提是支持。
Minizinc IDE 在配置部分有一个并行求解器选项 ("Number of threads")。但是，从命令行编译时，mzn2fzn 二进制文件似乎不支持并行选项。是否可以从命令行编译文件并行求解？
您可以通过集成开发环境 (IDE) 或通过命令行调用使用 MiniZinc。我正在使用 IDE 2.0.8
在 IDE 中，使用 configuration 选项卡指定要用于 searching/solving 的线程数。根据所选的后端，您可能会收到一条错误消息，即 multi-threading 不支持相应的后端。
通过命令行，您可以分别调用编译器和后端，也可以使用 minizinc.exe 作为伞形工具依次调用它们。所有工具都有一个命令行选项 --help 来解释参数。 minizinc.exe 在 multi-threading 模式下接受 -p 或 --parallel 到 运行 后端，前提是支持。