构建后是否可以修改cp_sat模型？

Question

我有一个用于查找特定类别的整数（“ Keith数”）的模型，该模型效果很好，但速度很慢，因为它需要多次构造新模型。有没有一种方法可以更新模型，特别是更改约束中的系数。换句话说，更改模型以匹配其他id,user_name,relation_name,relation_name_id ，而无需重构整个事物吗？

mat

Answer 1

是的，但是你自己一个人。

您可以从模型中访问基础cp_model_proto的protobuf，并直接对其进行修改。

他目前没有计划在cp_model API的基础上添加修改API。