On 30 October 2012 20:22, Gustavo Gutierrez <ggutier...@atlas.puj.edu.co>wrote:
Just remember that the granularity that we can achieve (due to the current > design decisions in gecode) is to de point of parallelism oin the search > and *not* in the constraint propagation. > > Regards, > Gustavo > Thanks for clearing that up. Oh well, something for Mozart 3 then ;-) Good luck on the implementation integration. I have to say "Search.parallel" or equivalent is absolutely indispensable in my opinion. Does this mean that "space" as a first class Mozart-Oz citizen, is actually implemented by the gecode library rather than as a "native" mozart-oz construct? Will it still support "choice" points as per CTM ch. 9?
_________________________________________________________________________________ mozart-users mailing list mozart-users@mozart-oz.org http://www.mozart-oz.org/mailman/listinfo/mozart-users