CHOCO- is available

A new release of Choco (v. 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.

Posted by Charles Prud'homme 2008-12-05

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks