有没有办法清空MiniZinc中的“缓存”

Question

我正在尝试优化模型（就解决时间而言）。模型返回正确的答案，但MiniZinc需要太多时间才能找到解决方案。 我的问题是，当我第一次尝试解决模型时，minizinc需要时间。但是当我第二次解决模型时，minizinc几乎立即找到解决方案。所以我不知道我在模型中引入的修改是否能够加速解决。 有没有办法让Minizinc“忘记”他之前找到的解决方案。

谢谢。