[request] [choco4] add findOptimal in Model.

I understand that using this function with modification of the model may lead to bad behaviour, however this is a simple use case that should IMO be of very simple use. I fear people (including me 😦 ) will need to rewrite this small part of code on several places otherwise.

add (…keep) a method in Model :

public Solution findOptimum(IntVar objective, boolean maximize){
  setObjective(maximize?ResolutionPolicy.MAXIMIZE:ResolutionPolicy.MINIMIZE, objective);
  Solution s = new Solution(this);
  while (solve()) {
    s.record();
  }
  return getSolver().isFeasible() == ESat.TRUE ? s : null;
}

[cprudhom]

What about adding a resolution helper ? The resolution processes will still be disconnected from the model (solver) but the code will not be lost. That may also ease capitalizing on tricky resolution process.

poll: 👍 / 👎

[jgFages]

Shouldn’t the ResolutionHelper be in Solver rather than Model?