Choco-solver: coefficients of the variables are real numbers

Question

I am looking for a way to encode mathematical equations on Choco Solver. I see there's a way to encode constraints like:

3x + 4y < 9

But I am trying to encode something like

3.5*x + 4.3*y < 9.3

where x and y are int vars and coefficients are real number.

Answer 1

If you need reals, you need to install Ibex solver ( 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 )

Best,