Repository navigation

Provisional: non-mutating solution comparison for Gecode 7 (breaking changes) - #242

Draft

zayenz wants to merge 17 commits into

mainfrom

feature/comparison

Draft

Provisional: non-mutating solution comparison for Gecode 7 (breaking changes)#242
zayenz wants to merge 17 commits into
mainfrom
feature/comparison

Commits on Oct 8, 2026
- comparison: shape solution comparison contract and search integration
  zayenz
  committed
  3b65c0a
- comparison: require optimization comparison and refine objective readiness
  zayenz
  committed
  a856abd
- comparison: make comparability model-defined and plan future search uses
  zayenz
  committed
  e4cd153
- Add tasks to comparison
  zayenz
  committed
  1d54bd8
- comparison: add space and integer objective comparison
  zayenz
  committed
  b4e78a4
- comparison: add float objective comparison
  zayenz
  committed
  2dfaa75
- comparison: use comparison for sequential incumbents
  zayenz
  committed
  a1f194f
- Use comparison in parallel BAB
  zayenz
  committed
  9228f7a
- Integrate comparison through portfolios
  zayenz
  committed
  3e5c860
- Add tasks to comparison
  zayenz
  committed
  27a0e0b
- Fix comparison failure ownership and clarify the public contract
  zayenz
  committed
  7ebd104
- Preserve comparison failures and inherited Gist overloads
  zayenz
  committed
  e231cde
- Preserve pending BAB bounds and failures across restart handoffs
  zayenz
  committed
  f2f1212
- Declare each variable separately
  zayenz
  committed
  e628899
- Preserve worker-control wakeups in comparison portfolios
  zayenz
  committed
  e6b4be9
- Preserve worker-control integration and changelog entries
  zayenz
  committed
  08b56e6
Commits on Oct 18, 2026
- Tighten solution comparison documentation
  zayenz
  committed
  65e455e