Java Google或工具约束的析取_Java_Constraint Satisfaction_Or Tools

Java Google或工具约束的析取

java

Java Google或工具约束的析取,java,constraint-satisfaction,or-tools,Java,Constraint Satisfaction,Or Tools,我想使用Google或工具Javaapi，我不能分离约束。我尝试这样实现：（A==1或B==1）和（（C==1或D==1））。。。我该怎么做另一个问题是如何实现makesumlesorequal（IntVar[]VARS，IntVar limit），因为只有makesumlesorequal（IntVar[]VARS，int limit）函数谢谢你的帮助我想使用Google或tools Java api，我不能分离约束。我尝试这样实现：（A==1或B==1）和（（C==1或D==1））。。

我想使用Google或工具Javaapi，我不能分离约束。我尝试这样实现：（A==1或B==1）和（（C==1或D==1））。。。我该怎么做

另一个问题是如何实现makesumlesorequal（IntVar[]VARS，IntVar limit），因为只有makesumlesorequal（IntVar[]VARS，int limit）函数

谢谢你的帮助

我想使用Google或tools Java api，我不能分离约束。我尝试这样实现：（A==1或B==1）和（（C==1或D==1））。。。我该怎么做

使用

解算器创建布尔变量。makeIsEqualCstVar（A，1）

或

是

solver.makeMax（布尔瓦尔1，布尔瓦尔2）

和

和

是

solver.makeMin（）
另一个问题是如何实现makesumlesorequal（IntVar[]VARS，IntVar limit），因为只有makesumlesorequal（IntVar[]VARS，int limit）函数
您需要将MakeSopicRod
API与[1，…，1，-1]
和vars+[limit]
一起使用。不过，我建议使用CP-SAT解算器。你可以看看：，和。