arnaud-m / cryptator

A constraint-based cryptarithm solver
BSD 3-Clause "New" or "Revised" License
1 stars 0 forks source link

Bump choco-solver from 4.10.12 to 4.10.13 #157

Closed dependabot[bot] closed 1 year ago

dependabot[bot] commented 1 year ago

Bumps choco-solver from 4.10.12 to 4.10.13.

Release notes

Sourced from choco-solver's releases.

v4.10.13

4.10.13 - 05 Jun 2023

Major features:

Mainly bug fixes and improvements of Pareto front performances.

Deprecated API (to be removed in next release):

Other closed issues and pull requests:

See milestone 4.10.13

Contributors to this release:

Changelog

Sourced from choco-solver's changelog.

4.10.13 - 05 Jun 2023

Major features:

Mainly bug fixes and improvements of Pareto front performances.

Deprecated API (to be removed in next release):

Other closed issues and pull requests:

See milestone 4.10.13

Contributors to this release:

Commits
  • a84a5ed initiate release 4.10.13
  • ef7d057 Update CHANGES.md
  • 0903036 Add tests on reifying table constraints
  • 610fb9f Fix #1001
  • cf79e8f Fix issue when using Pareto after declaring an objective function
  • 36fbc29 Fix #1030 (related to #982)
  • 1a03a95 Merge pull request #1027 from jsimomaa/master
  • 9cbaafe Use ArrayList instead of LinkedList in ParetoMaximizer for better perf
  • 950498b Remove expensive Stream.of() from ParetoMaximizer.onSolution() #1026
  • 8139972 No point iterating objectives-array if paretoFront is empty #1026
  • Additional commits viewable in compare view


Dependabot compatibility score

You can trigger a rebase of this PR 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 merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@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)

Note Automatic rebases have been disabled on this pull request as it has been open for over 30 days.