Question

我正在寻找一种在Choco Solver上编码数学方程的方法。我看到有一种编码约束的方法，如：

3x + 4y < 9

但我正在尝试编码类似

的内容

3.5*x + 4.3*y < 9.3

其中x和y是int vars，系数是实数。

Answer 1

如果您需要实时，则需要安装Ibex解算器（http://www.ibex-lib.org/），该解算器用作库以处理choco中的实数（请参阅具体安装http://www.ibex-lib.org/doc/java-install.html）

最佳，