« Changelog History


Choco v4.10.6 Release Notes

Release Date: 2020-12-11 // over 3 years ago

  • Major features:

    • ➕ Add new resolution helper in Solver, namely findOptimalSolutionWithBounds. See Javadoc for details and usages.
    • ParallelPortfolio now allows to add unreliable models, that is models whose resolution is deliberately made incomplete. These models should not stop the parallel resolution process when they no longer find a solution. Only complete models can inform the portfolio that they have proven the full exploration of the search space.
    • ➕ Add org.chocosolver.util.tools.PreProcessing class, and a first preprocessing rule: equalities detection
    • 🚀 Upgrade ibex integration to support ibex-java v1.2.0. 🛠 Fixes for issues #653 and #740.
    • ➕ Add QuickXPlain algorithm to find the Minimum Conflicting Set (see issue #509)
    • ⚡️ Update XCSP3 parser.
    • 🛠 Fix InDomainMedian when domain size is even
    • ➕ Add new way to watch solving: solver.verboseSolving()
    • Deal with annotations for some Flatzinc constraints (allDifferent and inverse)
    • ➕ Add MultiArmedBandit strategy sequencer

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

    Other closed issues and pull requests:

    👀 See milestone 4.10.6

    🚀 Contributors to this release: