[SOLVED] Choco-solver: coefficients of the variables are real numbers

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.

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,