Dear all,
I'm working on a FD script that I'd like to impose below constraint:
{FD.sum {Map B fun{$ I} {FD.reified.distance 1 M.I '<:' 3} end} '=:' 0}
that B and M are two lists.
But I couldn't get any solution.Apparently, I couldn't impose nested
propagator.
I think,A way is introducing new fd variables,But is there another way?
With best regards.
---------------------------------
All new Yahoo! Mail
---------------------------------
Get news delivered. Enjoy RSS feeds right on your Mail page._________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
