« Changelog History


Choco v4.0.4 Release Notes

Release Date: 2017-04-28 // almost 7 years ago

  • Major features:

    • ➕ add logical operator to expression (#520). Now it is possible, f-ex., to declare expression like: x.eq(y.add(1)).or(x.eq(y).and(x.eq(1))) - add new API to Solver to print features in a single line - enable ignoring passivate propagators when iterating over propagators of a modified variable (false by default; see Settings)

    Deprecated API (to be removed in next release):

    • IPropagationEngine.fails(c,v,m) is replaced by Solver.throwsException(c,v,m) (#524)
    • IPropagationEngine.getContradictionException() is replaced by Solver.getContradictionException() (#524)
    • MathUtils.bounds(values) is replaced by a call to MathUtils.min(values) and MathUtils.max(values)

    Remove dead code:

    • SparseSet
    • IFeatures, Features, IAttribute and Attribute

    Closed issues and pull requests:

    #516, #517, #518, #519, #520, #521, #524.