All Versions
24
Latest Version
Avg Release Cycle
69 days
Latest Release
317 days ago

Changelog History
Page 1

  • v4.10.6 Changes

    December 11, 2020

    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:

  • v4.10.5 Changes

    October 02, 2020

    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:

  • v4.10.4 Changes

    September 08, 2020

    4.10.4 - 08 Sep 2020

    Major features:

    • ๐Ÿ”„ Change search strategies in ParallelPortfolio
    • ๐Ÿ‘‰ Make "CT+" available to binary table constraint
    • ๐Ÿš€ Update Dockerfile, now automatically released in hub.docker.com
    • Migrate to ANTLR 4.8-1
    • ๐Ÿ‘Œ Support nested seq_search in FlatZinc file
    • โž• Add missing operations in model.unpost(c)
    • โž• Add new constraint, named conditional, that posts constraints on condition
    • ๐Ÿ”€ Merge cutoffseq in solver
    • ๐Ÿ”€ Merge pf4cs in parsers
    • โœ‚ Remove geost from parsers

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

    Other closed issues and pull requests:

    #692, #698, #700, #702, #703, #704, #705

    ๐Ÿš€ Contributors to this release

  • v4.10.3 Changes

    July 03, 2020

    Multi-modules and JPMS-ready.

    Major features:

    • ๐Ÿšš Move cutoffseq, choco-sat, choco-solver, pf4cs, choco-parsers and samples projects into a (maven) multi-modules project
    • JPMS-ready

    Choco-solver can now be run with either JDK 8 or JDK 9+.

    โž• Additions

    Removals

    • โœ‚ Remove JSON writer/parser (which was actually partially supported and not maintained) (#664)

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

    • Task(IntVar s, IntVar d, IntVar e, boolean declareMonitor)
    • AbstractProblem.readArgs(String... args)

    Other closed issues and pull requests:

    #617, #633, #637, #639, #645, #646, #647, #648, #658, #665, #667, #678, #682, #686, #689, #691

  • v4.10.3.1 Changes

    February 28, 2020

    2020-02-28

  • v4.10.3.0 Changes

    February 28, 2020

    2020-02-28

  • v4.10.2 Changes

    October 14, 2019

    Major features:

    • ๐Ÿ›  fix issues relative to propagation
    • ๐Ÿ”„ change constraints' status checking
    • ๐Ÿ”„ change stop conditions in ExplanationForSignedClause
    • โž• add stable module name

    Closed issues and pull requests:

    #618

  • v4.10.1 Changes

    June 26, 2019

    Major features:

    • LNS on other variables (e.g. SetVarLNS)
    • ๐Ÿ›  Continuous integration fixed
    • IntDomainMiddle now allows an external definition of what middle is, thanks to ToDoubleFunction<IntVar>

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

    Closed issues and pull requests:

    #538, #600, #611, #612, #613, #614, #615, #617, #619, #627, #630

  • v4.10.0 Changes

    December 12, 2018

    ๐Ÿš€ This release comes with several major modifications. The most important one is related to explanations. The previous framework is replaced by a new one based on "A Proof-Producing CSP Solver", M.Vesler and O.Strichman, AAI'10.

    ๐Ÿ‘€ See notebooks for an example of use.

    Major features:

    • โšก๏ธ Update statistic dashboard (see solver.showDashboard())
    • ๐Ÿ›  Fix Settings.load on missing property
    • ๐Ÿ›  Fix issue in Cumulative simplified API
    • โž• Add additional views model.intEqView(x,c), model.intNeView(x,c), model.intLeView(x,c) and model.intGeView(x,c)
    • Detect when the same views is created twice on the same pair
    • Revamp the way LNS' neighbor is declared (simplication)
    • โž• Add AbstractStrategy.remove() method to remove a declared strategy and its dependencies
    • โž• Add new strategies to Search
    • โž• Add new decomposition to IDecompositionFactory
    • ๐Ÿ‘Œ Improve initialization of CT+ and CT*
    • ๐Ÿ‘Œ Improve IntVar#isInstantiatedTo(int)

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

    • ๐Ÿ—„ INeighbor interface is deprecated and replaced by Neighbor abstract class
    • ๐Ÿ—„ INeighborFactory#explanationBased(IntVar...) is deprecated, no replacement.
    • ๐Ÿ‘€ ILearnFactory#setCBJLearning(boolean,boolean) and ILearnFactory#setDBTLearning(boolean,boolean) are deprecated, see ILearnFactory#setLearningSignedClauses() instead

    Closed issues and pull requests:

    #604, #605, #606

  • v4.0.9 Changes

    October 30, 2018

    ๐Ÿš€ Minor release

    Major features:

    • Offer possibility to store and load Settings from a property file.
    • โž• Add API for cumulative when only starts are variable
    • โž• Add decomposition of cumulative: model.cumulativeTimeDecomp(...)
    • Logical expression XOR manages more than 2 variables
    • โž• Add new API to IOutputFactory (to Gephi and to Graphviz)
    • โž• Add constraint network output (to gexf format), see solver.constraintNetworkToGephi(file)
    • โž• add ParallelPortfolio.streamSolutions (#579)

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

    Closed issues and pull requests:

    #596, #600, #601, #602