Choco-solver：變量的系數為實數

Question

我正在尋找一種在Choco Solver上編碼數學方程的方法。 我看到有一種編碼約束的方法，例如：

3x + 4y < 9

但是我正在嘗試編碼類似

3.5*x + 4.3*y < 9.3

其中x和y是int var，系數是實數。

Answer 1

如果需要實物，則需要安裝Ibex解算器（ http://www.ibex-lib.org/ ），該庫用作在choco中處理實物的庫（請參閱特定的安裝http：//www.ibex-lib。 org / doc / java-install.html ）

最好，

讓-紀堯姆（Jean-Guillaume）Fages https://www.cosling.com/