如何在 Minizinc 命令行中编写中间解决方案作为输出？
How to write intermediate solutions as output in Minizic comand line?
我已经从命令行 运行 Minizinc 模型，并且我得到了最终的解决方案作为输出。
我知道我可以在 IDE 中制作 Minizic 打印中间解决方案。我怎样才能从命令行做同样的事情，以便它们像 IDE 一样打印为输出？顺便说一句，我指的是默认情况下 Minizinc 打印的输出，而不是您可以包含在模型代码中的 'output'（类似于打印的那个）。
要输出中间解决方案，您可以在优化问题上使用 -a 标志。因此，例如 minizinc --solver gecode -a model.mzn data.dzn 将在 Gecode 求解器上使用 data.dzn 求解 model.mzn 并输出所有中间解决方案。
但是请注意，-a 标志有一些特点：
-a 的可满足性将输出 所有解决方案 而不是中间解决方案。所以在编写脚本时需要小心。- 并非所有求解器都支持
-a 标志。并非所有求解器都会有（或输出）中间解。
我已经从命令行 运行 Minizinc 模型，并且我得到了最终的解决方案作为输出。 我知道我可以在 IDE 中制作 Minizic 打印中间解决方案。我怎样才能从命令行做同样的事情，以便它们像 IDE 一样打印为输出？顺便说一句，我指的是默认情况下 Minizinc 打印的输出，而不是您可以包含在模型代码中的 'output'（类似于打印的那个）。
要输出中间解决方案，您可以在优化问题上使用 -a 标志。因此，例如 minizinc --solver gecode -a model.mzn data.dzn 将在 Gecode 求解器上使用 data.dzn 求解 model.mzn 并输出所有中间解决方案。
但是请注意，-a 标志有一些特点：
-a的可满足性将输出 所有解决方案 而不是中间解决方案。所以在编写脚本时需要小心。- 并非所有求解器都支持
-a标志。并非所有求解器都会有（或输出）中间解。