我正在寻找一种在 Choco Solver 上对数学方程进行编码的方法。我看到有一种方法可以对约束进行编码，例如：
3x + 4y < 9
但我正在尝试编码类似
3.5*x + 4.3*y < 9.3
其中x和y是 int 变量，系数是实数。
问问题
150 次
1 回答
0
如果您需要实数，则需要安装 Ibex 求解器 ( http://www.ibex-lib.org/ )，它用作在 choco 中处理实数的库（请参阅具体安装http://www.ibex-lib. org/doc/java-install.html )
最好的，
让-纪尧姆·法赫斯 https://www.cosling.com/
于 2016-04-21T07:46:56.517 回答