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

Draft

zayenz wants to merge 9 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