« Changelog History


Choco v4.10.10 Release Notes

Release Date: 2022-10-11 // almost 2 years ago

  • Major features:

    • 🛠 Fix performance issue of ViewDeltaMonitor
    • 🛠 Fix lack of filtering in STR2+ when domain is bounded
    • 🛠 Fix issue relative to OR and AND in LogOp
    • ➕ Add missing checks in OneWordS32BitSet and OneWordS64BitSet + update constructors
    • ➕ Add new API to VariableUtils
    • ➕ Add CITATION.cff
    • ⚡️ Update paper.md

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

    Other closed issues and pull requests:

    👀 See milestone 4.10.10

    🚀 Contributors to this release:

Previous changes from v4.10.9

  • Major features:

    • 👀 It is now possible to declare hints to help the search finding a first solution. See solver.addHint(var, val).
    • ➕ Add Solver.tableSampling resolution policy which returns a stream of Solution randomly sampled.
    • ➕ Add increasing and decreasing constraints
    • ➕ Add costFlow constraint, which is composed of scalar products and a MinCostMaxFlow propagator
    • Revamp pow constraint
    • ➕ Add threshold for element with array of variables signature
    • ➕ Add a propagator for 0/1-knapsack (thanks to @PoltyPoltou)
    • ✂ Remove CPProfiler since the project is not active anymore.
    • 👉 Make possible to deal with large domains for some constraints (#894)
    • ➕ Add a LinearProgram class to deal with linear program (!) and a two-phase Simplex (not connected yet)
    • 🛠 Fix bug related to delta in boolean views
    • 👌 Improvements relative to reified propagators
    • 🔄 Change signature of AtLeastNValues
    • Record time to best in Measures(IMeasures measures) constructor
    Change the way propagators are stored in variables to ease swapping (#889)

    ⏱ Each variable is in charge of scheduling its propagators. This impacts the way propagators are stored in a variable. 🗄 Consequently, the getPropagators() and getPropagator(int) methods are deprecated, streamPropagators() replaces them. Unless otherwise stated, a propagator that can be entailed is automatically swapped in its variables' internal structure.

    SetVar
    • Extend some black-box strategies to SetVar
    • ➕ Add union(SetVar unionSet, SetVar indices, SetVar[] sets) constraint
    • ➕ Add free strategy for SetVar (RegParser and ParallelPortfolio)
    • 🛠 Fix SetVar#getDomainSize
    • ➕ Add SetDomainMax
    • ➕ Add 'setLe' and 'setLt' constraint (as a decomposition) in ISetConstraintFactory
    Flatzinc, XCSP3 and MPS
    • 🔄 Change default search of Flatzinc
    • Increase interval for Flatzinc unbounded intvar
    • ✂ Remove default ANSI in parsers
    • ⚡️ Update FZN grammar to deal with 'set of int'
    • Flatzinc: deal with warm_start
    • ➕ Add ignored search annotation warning in FGoal
    • ⚡️ Update XCSPParser + add model.amongDec

    JAR Files

    Since 4.10.9, a new jar file is available for download. This is a lighter version of the one with dependencies, 📜 namely choco-parsers-light-VERSION.jar. The following dependencies have been excluded from this archive:

    • org.apache.pdfbox:pdfbox
    • org.apache.fontbox:fontbox
    • com.ibm.icu:icu4j

    This results in 82% smaller archive. Note that the non-alleged versions are still available for download.

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

    • IOutputFactory.outputSearchTreeToCPProfiler(boolean domain)

    Other closed issues and pull requests:

    👀 See milestone 4.10.9

    🚀 Contributors to this release: