search

chocoteam / choco-solver

An open-source Java library for Constraint Programming
http://choco-solver.org/
BSD 4-Clause "Original" or "Old" License
690 stars 143 forks source link

NogoodFromRestarts + ObjectiveStrategy = UnsupportedOperationException #1096

Closed cprudhom closed 5 months ago

cprudhom commented 6 months ago

Recording no-goods from restarts is based on Decision, from now on, IntDecision and SetDecision are managed.

When using ObjectiveStrategy, like 

solver.setSearch(Search.objectiveStrategy(obj, BOTTOM_UP), minDomLBSearch(xs));

recording no goods (from restarts or from solutions) throws an UnsupportedOperationException.

This is due to ObjectiveStrategy that redefines DecisionOperator instead of using IntSplitDecision or IntReverseSplitDecision.