一个迷你规划问题：机器人要从货架取包裹放到工作台，电量只有一格时必须先绕去充电桩——最短方案九步，但建模时你不能预设步数。传统约束编程求解器在搜索开始前固定变量集，于是要么反复加一步重解、要么给个上界再容忍无用后缀。Gecode 6.5.0 引入 open variable lists：OpenIntVarList 按需创建位置变量，列表长度本身也是普通 IntVar；新增位置时用 transition 回调创建状态变量并挂约束，因此任何 Gecode 约束都能用在会长大的模型里。regular、distinct、sequence 还有对应的 open 版本，list brancher 同时决定取值与是否扩张，另附 A* 与 complete anytime beam search 两个实验性搜索引擎。