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

Draft

zayenz wants to merge 11 commits into

mainfrom

feature/comparison

Commits on Sep 10, 2026

comparison: shape solution comparison contract and search integration
Mikael Zayenz Lagerkvist
committed
5a284b7
comparison: require optimization comparison and refine objective readiness
Mikael Zayenz Lagerkvist
committed
f7bf2c4
comparison: make comparability model-defined and plan future search uses
Mikael Zayenz Lagerkvist
committed
679d9c8
Add tasks to comparison
Mikael Zayenz Lagerkvist
committed
2016acc
comparison: add space and integer objective comparison
Mikael Zayenz Lagerkvist
committed
0eb45fb
comparison: add float objective comparison
Mikael Zayenz Lagerkvist
committed
40d4573
comparison: use comparison for sequential incumbents
Mikael Zayenz Lagerkvist
committed
3f4977e
Use comparison in parallel BAB
Mikael Zayenz Lagerkvist
committed
5e7ecef
Integrate comparison through portfolios
Mikael Zayenz Lagerkvist
committed
87976b2

Commits on Sep 22, 2026

Add tasks to comparison
Mikael Zayenz Lagerkvist
committed
80dc471
Fix comparison failure ownership and clarify the public contract
Mikael Zayenz Lagerkvist
committed
aff16cc