Choco v4.10.6 Release Notes

Release Date: 2020-12-11 // 11 months 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:


Previous changes from v4.10.5

  • 4.10.5 - 02 Oct 2020

    Major features:

    • โž• add IN arithmetic int expression.

    ๐Ÿš€ Deprecated API (to be removed in next release):

    • ๐Ÿšš Settings.enableACOnTernarySum() removed
    • ๐Ÿšš Settings.setEnableACOnTernarySum(boolean) removed

    Other closed issues and pull requests:

    ๐Ÿ‘€ See milestone 4.10.5

    ๐Ÿš€ Contributors to this release: