Choco-solver：变量的系数是实数
Choco-solver: coefficients of the variables are real numbers
我正在寻找一种在 Choco Solver 上对数学方程式进行编码的方法。我看到有一种编码约束的方法，例如：
3x + 4y < 9
但我正在尝试编码类似
的内容
3.5*x + 4.3*y < 9.3
其中 x 和 y 是整数变量，系数是实数。
如果需要实数，需要安装 Ibex 求解器 (http://www.ibex-lib.org/) that is used as a library to handle reals in choco (see specific installation http://www.ibex-lib.org/doc/java-install.html)
最佳，
让-纪尧姆·法日斯
https://www.cosling.com/
我正在寻找一种在 Choco Solver 上对数学方程式进行编码的方法。我看到有一种编码约束的方法，例如：
3x + 4y < 9
但我正在尝试编码类似
的内容3.5*x + 4.3*y < 9.3
其中 x 和 y 是整数变量，系数是实数。
如果需要实数，需要安装 Ibex 求解器 (http://www.ibex-lib.org/) that is used as a library to handle reals in choco (see specific installation http://www.ibex-lib.org/doc/java-install.html)
最佳，
让-纪尧姆·法日斯 https://www.cosling.com/