Bump org.choco-solver:choco-solver from 4.10.6 to 5.0.0

[dependabot]

Bumps org.choco-solver:choco-solver from 4.10.6 to 5.0.0.

Release notes

Sourced from org.choco-solver:choco-solver's releases.

5.0.0 - 02 Feb 2026

Major features:

This set of commits delivers a major consolidation of Lazy Clause Generation, significant performance and memory improvements, more robust constraint handling, and a broad cleanup and modernization of the internal APIs and tooling.

Performance & Algorithms

• Significant performance improvements on:
• Core propagators (X+Y=Z, abs, div, sum, scalar, etc.)
• CompactTable (CT) and STR2+
• Memory management and estimation mechanisms
• Dynamic selection of table algorithms based on memory footprint
• Optimizations in MiniSat and SAT-related components (clause reduction, propagation, assertions)

Lazy Clause Generation (LCG)

• Major consolidation effort on LCG:
• Fixes for critical bugs (initialization, reification, lost propagations)
• New assertions and invariants
• Improved separation and handling of learnt clauses (failure vs prohibiting-solution)
• Extended LCG support for constraints such as abs, div, table, element
• Better interaction with:
  • Restart strategies
  • ParallelPortfolio
  • Explanation and Reason APIs

Constraints & Modeling

• Refactoring or improvement of many constraints:
• AllDifferent, AllDifferentExcept*
• Cumulative, DiffN, BinPacking, Element, Table
• Arithmetic constraints (abs, div, times, min/max)
• Smarter choice between decomposition and extension
• Improved expression recognition and handling (XCSP / Flatzinc)

Testing & Robustness

• Numerous test fixes and stabilizations
• Addition of new tests, especially for LCG and XCSP
• Timeout adjustments
• Cleanup of memory-intensive or unstable tests

XCSP / Flatzinc / Parsing

• Update of XCSP3 tools (v2.5)
• Improvements in parsing and expression handling
• Better support for:
  • Negative values
  • Constants
  • Variable groups and restarts
• Competition-oriented adjustments for XCSP and Flatzinc

Search & Strategies

• Enhancements to:
  • RoundRobin strategies

... (truncated)

Changelog

Sourced from org.choco-solver:choco-solver's changelog.

5.0.0 - 02 Feb 2026

Major features:

This set of commits delivers a major consolidation of Lazy Clause Generation, significant performance and memory improvements, more robust constraint handling, and a broad cleanup and modernization of the internal APIs and tooling.

Performance & Algorithms

• Significant performance improvements on:
• Core propagators (X+Y=Z, abs, div, sum, scalar, etc.)
• CompactTable (CT) and STR2+
• Memory management and estimation mechanisms
• Dynamic selection of table algorithms based on memory footprint
• Optimizations in MiniSat and SAT-related components (clause reduction, propagation, assertions)

Lazy Clause Generation (LCG)

• Major consolidation effort on LCG:
• Fixes for critical bugs (initialization, reification, lost propagations)
• New assertions and invariants
• Improved separation and handling of learnt clauses (failure vs prohibiting-solution)
• Extended LCG support for constraints such as abs, div, table, element
• Better interaction with:
  • Restart strategies
  • ParallelPortfolio
  • Explanation and Reason APIs

Constraints & Modeling

• Refactoring or improvement of many constraints:
• AllDifferent, AllDifferentExcept*
• Cumulative, DiffN, BinPacking, Element, Table
• Arithmetic constraints (abs, div, times, min/max)
• Smarter choice between decomposition and extension
• Improved expression recognition and handling (XCSP / Flatzinc)

Testing & Robustness

• Numerous test fixes and stabilizations
• Addition of new tests, especially for LCG and XCSP
• Timeout adjustments
• Cleanup of memory-intensive or unstable tests

XCSP / Flatzinc / Parsing

• Update of XCSP3 tools (v2.5)
• Improvements in parsing and expression handling
• Better support for:
  • Negative values
  • Constants
  • Variable groups and restarts
• Competition-oriented adjustments for XCSP and Flatzinc

Search & Strategies

... (truncated)

Commits

• 39b49d0 Merge branch 'release-5.0.0'
• 736b1a0 initiate release
• 65ed0d3 update CHANGES.md
• 7e2104a Merge branch 'xcsp' into develop
• b283f9f Flatzinc : deal with unary table constraints + expression-based setvar
• 0acf1a9 Tests : increase timeOut of testReifiedConnectivity
• 74b16b4 CT : change the way estimated memory for CT is computed
• 00405ce Fix tests related to PR #1179
• d0f2635 Merge pull request #1179
• 868bb5e Performance improvement in PropXPlusYEqZ and PropAbsolute (#1178)
• Additional commits viewable in compare view

Most Recent Ignore Conditions Applied to This Pull Request

Dependency Name	Ignore Conditions
org.choco-solver:choco-solver	[< 4.11, > 4.10.6]

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[murfffi]

@dependabot ignore this major version

[dependabot]

OK, I won't notify you about version 5.x.x again, unless you re-open this PR.