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

[dependabot]

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

Release notes

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

6.0.0 - 05 May 2026

Major features:

Constraints & LCG

• Faster modulo constraints with bounded variables
• Fix modulo constraint with negative values
• Add lcgExtractFromVariablesOnSolution setting to control whether the solution-forbidding clause is built from variable assignments (true) or from the decision path (false, default)
• Add optimized implementations for the element constraint
• Improve filtering of signs of variables in PropDivXYZ
• Fix SparseBitSet.prevClearBit(final int fromIndex)

Build, CI & Tooling

• Migrate to Java 17 (<release>17</release>); Java 17 language features and APIs are now available
• Simplify Maven compiler configuration: remove multi-release JAR dual-compilation strategy (Java 8 + module-info at Java 9)
• Enforce minimum Java 17 and Maven 3.6.0 via maven-enforcer-plugin
• Upgrade ANTLR from 4.9.3 to 4.13.2; migrate grammars to standard src/main/antlr4/ layout; generated parser sources are no longer committed to the repository
• Upgrade TestNG from 7.5.1 to 7.12.0
• Upgrade args4j from 2.33 to 2.37

Deprecated API (to be removed in next release):

Other closed issues and pull requests:

See milestone 5.0.2

Contributors to this release:

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

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

... (truncated)

Changelog

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

6.0.0 - 05 May 2026

Major features:

Constraints & LCG

• Faster modulo constraints with bounded variables
• Fix modulo constraint with negative values
• Add lcgExtractFromVariablesOnSolution setting to control whether the solution-forbidding clause is built from variable assignments (true) or from the decision path (false, default)
• Add optimized implementations for the element constraint
• Improve filtering of signs of variables in PropDivXYZ
• Fix SparseBitSet.prevClearBit(final int fromIndex)

Build, CI & Tooling

• Migrate to Java 17 (<release>17</release>); Java 17 language features and APIs are now available
• Simplify Maven compiler configuration: remove multi-release JAR dual-compilation strategy (Java 8 + module-info at Java 9)
• Enforce minimum Java 17 and Maven 3.6.0 via maven-enforcer-plugin
• Upgrade ANTLR from 4.9.3 to 4.13.2; migrate grammars to standard src/main/antlr4/ layout; generated parser sources are no longer committed to the repository
• Upgrade TestNG from 7.5.1 to 7.12.0
• Upgrade args4j from 2.33 to 2.37

Deprecated API (to be removed in next release):

Other closed issues and pull requests:

See milestone 5.0.2

Contributors to this release:

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

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

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):

... (truncated)

Commits

• 3ac32ce initiate release 6.0.0
• 9868d22 use slf4j.nop for test only
• d81b8fb remove slf4j-nop dependency to avoid conflicts in applications using choco-so...
• 331086f add requested assertions to SparseBitSetTest.testPrevClearBit3()
• 62dcf7c add SparseBitSet.testPrevClearBit3() + uniformize code between prevClearBit()...
• 32f6910 fix SparseBitSet.prevClearBit()
• 18fc9c4 add CHANGES + reformat code in PropDivXYZ and DivTest
• 3e31453 improve PropDivXYZ filtering on signs of variables
• f28f881 pom.xml: move versions to properties
• 9c260f5 Config: downgrade checkstyle to 10.13.0
• 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)

[arnaud-m]

• See Bump java from 11 to 17 and choco-solver to 6.0.0 #200

[dependabot]

OK, I won't notify you again about this release, but will get in touch when a new version is available. If you'd rather skip all updates until the next major or minor version, let me know by commenting @dependabot ignore this major version or @dependabot ignore this minor version. You can also ignore all major, minor, or patch releases for a dependency by adding an ignore condition with the desired update_types to your config file.

If you change your mind, just re-open this PR and I'll resolve any conflicts on it.