OK, thanks. It would be nice to get an error at the level of the sugar
instead of the desugared version. (I think I just volunteered myself. :)
I had originally used this constraint instead:
Item1*Item2*Item3*Item4 div 1000000 =: 711
No errors, but the answer I get is:
[sol(_{1#708} _{1#708} _{1#708} _{1#708})]
So it didn't really get very far. I wonder if it ran into some overflow
situation trying to calculate intermediate steps? Is there anything which
explains how an arithmetic expression used in a constraint gets desugared?
And it looked like such a simple problem... :/
On Tue, Jul 5, 2011 at 2:59 PM, Wolfgang Meyer <
[email protected]> wrote:
> Hi Lyle,
>
> I think the error is because of a limitation of Oz: "The range of a finite
> domain variable is from 0 to (i.e., 134 217 726)."
> (see http://www.mozart-oz.org/documentation/limitations/index.html )
>
> I'm not sure how to work around this problem, though.
>
> Wolfgang
>
>
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
