A new release of Choco (v. 126.96.36.199) is available.
In this release, the default search strategy has been change to DomOverWDeg. The integer division contraint has been temporary switch to 'eq(z,div(x,y))' constraint, waiting for a true integer division constraint.
This new release corrects bugs on: global cardinality constraint, DomOverDynDeg, IntervalIntDomain.
This new release does not correct API.
These are the major modifications, some other corrections or creations have been done, please take a look at the code for more information.
Log in to post a comment.