Re: [eclipse-clp-users] Abort error

From: Shrirang Edgaonkar <shrirange_at_...6...>
Date: Mon, 14 Nov 2016 11:30:13 +0900
The error occurs only on 32 bit clp version.

On Monday, 14 November 2016, Shrirang Edgaonkar <shrirange@...6...> wrote:

> Hi,
>
> Following is the problem.
> :-lib(ic).
> solve(A):-
> A :: 0 .. 2147483650, A #\= 2147483648.
>
> It aborts with following error.
> Abort
>
> out of range in -(2147483648) + A{ 0 .. 2147483650} #\= 0
>
> Kindly let me know the reason for the error.
>
> Thanks and Regards,
> Shrirang Edgaonkar
>
>
>
>
>
>
> --
> Sent from Gmail Mobile
>


-- 
Sent from Gmail Mobile
Received on Mon Nov 14 2016 - 02:30:20 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:30 CEST