Provisional: extensible random generators and splitting for Gecode 7 (breaking changes) - #241

Draft

zayenz wants to merge 7 commits into

mainfrom

Commits on Sep 10, 2026

random: add splittable engines and full-state test replay
Mikael Zayenz Lagerkvist
committed
626fb2d
random: derive alternative streams from recorded choices
Mikael Zayenz Lagerkvist
committed
b4ec5df
random: complete stream integration and compare splitting costs
Mikael Zayenz Lagerkvist
committed
2130ef3
random: configure engines and complete seed/state CLI migration
Mikael Zayenz Lagerkvist
committed
3665a1b
random: use standard Gecode file headers
Mikael Zayenz Lagerkvist
committed
a1ff8e3
random: keep generator state in consumer-owned values
Mikael Zayenz Lagerkvist
committed
e734d74
random: clarify feature overview and clean up integration
Mikael Zayenz Lagerkvist
committed
0d04689