Thanks for that Torsten! I was just looking through the documentation myself, trying to make head or tail of it.
On 30 October 2012 18:22, Torsten Anders <[email protected]> wrote: > I just briefly checked the Gecode documentation. What I understand is that > multiple Gecode "workers" (threads), take over different parts of the > search tree, but individual spaces (and their propagation) are processed by > a single working/thread. Multiple workers can run on different processors > of the same machine of multiple networked machines. This is all also the > case in Mozart 1 :) > > Torsten >
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
