我目前正在使用MiniZinc工作，并使用MiniZinc中集成的两个求解器：Gecode和Chuffed来运行我的模型。我一直在IDE中运行它，但我知道也可以在bash中运行（使用minizinc命令）。 但是我想测试一下我的模型在Google的CP求解器OR-Tools中表现如何。但我真...