[gecode-users] gecode 6 exception

[Christian Schulte]

Hi,

I fixed the problem and prepare a new release, you can find it here:
                https://github.com/Gecode/gecode/releases/tag/release-6.0.1

Thanks and 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 Christian Schulte
Sent: Friday, May 18, 2018 16:23
To: Kurt Van Den Branden <kurt.vandenbranden at agfa.com>; users at gecode.org
Subject: Re: [gecode-users] gecode 6 exception

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<mailto:users-bounces at gecode.org> <users-bounces at gecode.org<mailto:users-bounces at gecode.org>> On Behalf Of Kurt Van Den Branden
Sent: Tuesday, April 24, 2018 17:03
To: users at gecode.org<mailto: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/20180521/11769941/attachment.html>