Ta上传的资源 (0)

关键字 描述 all 允许仅将数组的一部分与采用数组参数的函数一起使用。 and CP。 使用逻辑 AND 将多个约束聚合为一个约束。 assert 检查假定。 boolean 决策变量的域快捷方式。 constraints 约束 (subject to) 的别名。 CP 表示约束规划模型。 CPL