Gecode 6.5.0 如何用开放变量列表实现可变长规划

Gecode 6.5.0 新增开放变量列表（OpenIntVarList），允许在搜索过程中按需创建变量和约束，从而无需预先确定规划长度。该版本还提供 regular、distinct、sequence 等常用约束的开放版本，并新增 A* 与 complete anytime beam search 两个实验性搜索引擎。文章以带充电绕路的机器人送货和十五数码问题为例演示建模。