[gecode-users] gecode 6 exception

[Christian Schulte]

Hi,

Finally I had some time to look into this problem. This is unfortunately not that easy to fix, I have to do some thinking here and/or inspect a number of constraints... For example, the abs constraint is one broken bastard ;-(

The behavior in 4.3.2 has been buggy (it really leads to overflow which was silently ignored).

Cheers
Christian

--
Christian Schulte, https://chschulte.github.io/
Professor of Computer Science, KTH, cschulte at kth.se<mailto:cschulte at kth.se>
Expert Researcher, RISE SICS, christian.schulte at ri.se<mailto:christian.schulte at ri.se>

From: users-bounces at gecode.org <users-bounces at gecode.org> On Behalf Of Kurt Van Den Branden
Sent: Tuesday, April 24, 2018 17:03
To: users at gecode.org
Subject: [gecode-users] gecode 6 exception

hi,

here is some simple example code:

                FloatVar x (*this, -100, 100);
                FloatVar t1 = expr (*this, abs (x * 100)); // OK
                FloatVar t2 = expr (*this, abs (x) * 100); // NOK

variable t1 doesn't cause a problem
when creating variable t2, an exception is thrown (OutOfLimits("Float::linear"))

the same code compiled with gecode 4.3.2 doesn't cause problems.

am I doing something wrong?

Kind Regards,

Kurt Van Den Branden | Agfa Graphics
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20180518/cfe92a96/attachment.html>