Re: [Fwd: Problems with eclipse 5.5]

From: Warwick Harvey <wh_at_icparc.ic.ac.uk> Date: Wed 17 Sep 2003 02:39:50 PM GMT Message-ID: <20030917153950.E9002@tempest.icparc.ic.ac.uk> · This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:24 PM GMT GMT

Hi,

> my name is Alessandro Dal Palu', a Computer Science PhD student in Udine.
> I'm working in collaboration with Agostino Dovier on protein folding using
> constraints on finite domains. I was writing some code in Eclipse 5.5,
> when I figured out that something was wrong: I tried to restrict myself to
> a minimal example and I'm reporting to you the problems that I
> encountered.

Domains with negative numbers are known to be buggy in FD; see for instance
Bug 172 in our bug databse:

    http://elstree.icparc.ic.ac.uk/eclipseBugs/show_bug.cgi?id=172

As I wrote for that bug:

    Last time a bug with multiplication and negative domains was reported
    for FD, I looked at the code and it was clear it would be difficult to
    fix, with a high chance of introducing new bugs.  As a result, the
    decision was taken that it would be a waste of our resources to fix it,
    given that the FD library is to be thrown away when IC is ready.

I suggest you either try to reformulate your problem to avoid negative
domains, or switch to using the IC solver instead of FD.

Cheers,
Warwick