モデルを最適化しようとしています (解決にかかる時間に関して)。モデルは正しい答えを返しますが、MiniZinc は解を見つけるのに時間がかかりすぎます。私の問題は、初めてモデルを解こうとすると、minizinc に時間がかかることです。しかし、モデルをもう一度解くと、minizinc はほぼ瞬時に解を見つけます。そのため、モデルに導入した変更が解決を加速できたかどうかはわかりません。彼が以前に見つけた解決策を「忘れる」ように Minizinc に指示する方法はありますか?
ありがとうございました。