« Changelog History


Choco v4.0.7 Release Notes

Release Date: 2018-07-19 // almost 6 years ago

  • JAR file names have changed:

    • the suffix 'with-dependencies' disappears,
    • the suffix '-no-dep' (for no dependencies) appears.

    This should intends to clarify the selection for new comers.

    ➕ Add a PayPal button for donations.

    🚚 Move to Ibex-2.6.5.

    Major features:

    • 0️⃣ Revamp Settings: no default method anymore, add setters. A concrete class DefaultSettings provides 0️⃣ the default behavior.
    • IViewFactory.intScaleView now manages negative constants,
    • IViewFactory.intAffineView is now available
    • ➕ add new constraint for mixed linear equation (over real/int variables and double/int coefficients)
    • Dow/WDeg now manages variables in a bipartite set (instantiated variables are swaped)
    • Assert that a propagator that is passive is not allowed to filter anymore
    • 👻 An exception is thrown when a sum (or scalar) constraint is candidate for integer over/underflow (an alternative should be provided later)
    • 🐎 BoolVar now handles modifications in different way (may impact performances)
    • 🐎 Propagation engine has changed: no alternative to seven-queue one anymore + simplification of code (may impact performances)
    • ➕ add new relation expression ift(e1,e2)

    🚀 Deprecated API (to be removed in next release):

    • 🗄 Model.set(Settings) is deprecated. Now settings are declared in the Model constructor.
    • 🗄 Settings.debugPropagation() is deprecated. There is no alternative.

    Closed issues and pull requests:

    #527, #564, #569, #576, #578, #581, #586