I'm trying to optimize a modele (in terms of the time it takes to solve). The modele returns the right answer, but MiniZinc takes too much time to find the solution. My probleme is that, when I try to solve the modele the first time, minizinc takes its time. But when I solve the modele a second time, minizinc finds the solution almost instantly. So I can't tell if the modifications I introduced in the modele were able to accelerate the solving. Is there a way to tell Minizinc to "forget" the solutions he found earlier.
Thank you.