Ilog cp eq和addeq的区别

ILOG CP提供了两个约束条件，分别是CP_EQ和CP_ADDEQ，它们的区别如下：

1. CP_EQ：这个约束条件用于将一个变量的值与另一个变量的值相等。它可以被用于比较简单的情况，比如两个整数变量之间的相等关系。

2. CP_ADDEQ：这个约束条件用于将一系列变量的值相加，并将其与另一个变量的值相等。这个约束条件适用于更复杂的情况，比如需要对多个变量进行求和并将其与另一个变量进行比较的情况。

因此，CP_EQ和CP_ADDEQ都用于将一个或多个变量的值与另一个变量的值相等，但是它们的应用场景略有不同。