Hi all and happy new year!

I have been using JaCoP for some days now and I am really satisfied with the tool but I am facing a problem for which I didn't manage to get a simple solution yet. In my model, I have to use both double coefficients and variable division (through the XdivYeqZ method). I noticed that:

* it is not possible to multiply a variable by a double, but only an integer,

* the XdivYeqZ method returns in fact Z = Math.floor(X/Y).

I'd like to know if there is some way I can multiply a variable by a double and round (or floor, or ceil) the result, and if I can simply have a variable Z = Math.ceil(X/Y) without having to use the mod function.

Regards,

Sylvain