Re: Question/Bug?

Hi Ana Paula,

> The following seems to be a bug but I am just starting to use ECLiPSe.

It is indeed a bug.  The FD library doesn't seem to handle properly the
combination of division by zero and negative numbers.

Unfortunately for you, we are in the process of replacing the existing
FD library, which means fixing bugs in it are a relatively low
priority.  And the nature of this one is such that it will take a lot of
time to make sure that, in fixing it, we don't introduce more bugs. 
Given that we plan to throw this code away soon, spending nontrivial
amounts of time on it seems a waste of our (quite modest) resources.

I suggest you try to work around the problem.  If you have trouble doing
this, feel free to mail us with a description of what you're trying to
do, and we'll see if we can offer any advice.

Cheers,
Warwick