Hi,
you could decompose the element constraint by posting implications instead,
such as x=i implies y=a[i] for all i.
Regarding the rounding, you're right, your approach should work (and just using
a channel directly forces the float var to take an integral value).
Cheers,
Guido
--
GUIDO TAC
Hello all,
These ares my first question, thanks for this library, I found it very
interesting and the tutorial is really great.
I'm using the last version of Gecode 5.0. In the project I'm working on I
need to use float variables (the problem include exponential calculations
that need to be preci
