Bump org.choco-solver:choco-solver from 4.10.18 to 5.0.1

[dependabot]

Bumps org.choco-solver:choco-solver from 4.10.18 to 5.0.1.

Release notes

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

5.0.1 - 10 Apr 2026

Major features:

Constraints & LCG

• Add table reformulation for pow constraint when LCG is on
• Reduce runtime for building table reformulations by excluding the result variable from the tuple generation
• Fix integer overflow in PropDivXYZLight
• Fix bounded domains management with LCG in PropDivXYZ
• Faster modulo constraint with large domains
• Add arithm preprocessing
• Fix decreasing constraint

Deprecated API (to be removed in next release):

Other closed issues and pull requests:

See milestone 5.0.1

Contributors to this release:

• Charles Prud'homme (@​cprudhom)
• Jean-Guillaume Fages (@​jgFages)

Full Changelog: chocoteam/choco-solver@v5.0.0...v5.0.1

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

... (truncated)

Changelog

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

5.0.1 - 10 Apr 2026

Major features:

Constraints & LCG

• Add table reformulation for pow constraint when LCG is on
• Reduce runtime for building table reformulations by excluding the result variable from the tuple generation
• Fix integer overflow in PropDivXYZLight
• Fix bounded domains management with LCG in PropDivXYZ
• Faster modulo constraint with large domains
• Add arithm preprocessing
• Fix decreasing constraint

Deprecated API (to be removed in next release):

Other closed issues and pull requests:

See milestone 5.0.1

Contributors to this release:

• Charles Prud'homme (@​cprudhom)
• Jean-Guillaume Fages (@​jgFages)

Full Changelog: chocoteam/choco-solver@v5.0.0...v5.0.1

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:

... (truncated)

Commits

• a2d0e94 Merge branch 'release-5.0.1'
• c73d082 initiate release 5.0.1
• fb5c17b License : set inception year to 1999
• 9c3f288 License : move to BSD 3-clause
• 46e7688 fix decreasing constraint
• 539d7de Merge pull request #1188 from chocoteam/JG/preprocessing
• aa13615 MCS simplified signature
• 4bf9d09 use isSolving()
• 21de028 fix entailment with views
• 4f189fd preprocessing only at root node
• Additional commits viewable in compare view

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)