On 30 Oct 2012, at 22:55, Gustavo Gutierrez wrote: > 2012/10/30 Torsten Anders <[email protected]> > On 30 Oct 2012, at 22:30, Gustavo Gutierrez wrote: > > That means that conceptually there is only one space as described in CTM. > > Internally that space contains a gecode space that is in charge of > > constraint propagation. It is worth to say that gecode spaces are a > > specialization of "mozart spaces" that are fine tunned for constraint > > programming. Both of them were designed by Christian: computation spaces in > > "oz-light" are the ones proposed in his PhD thesis and have been available > > in Mozart since the beginning. > > If a Gecode space is nested in a single Oz space, does that mean that you > meanwhile decided to have the branching done by Gecode. In other words, > branching/distribution strategies cannot be defined in Oz anymore? > > Our goal regarding this is two folded: first we would like to have all the > good things that are already present in gecode. That includes parallel search > (i.e. OS threads). Second we would also like to have the possibility of > defining both search engines and branching strategies directly in Oz. That is > very good for prototyping and to use specific problem information as > heuristics right away. In conclusion we will do as much as possible to have > the two ways available.
Great, that sounds very promising. Best wishes, Torsten -- Dr Torsten Anders Course Leader, Music Technology University of Bedfordshire Park Square, Room A315 http://www.torsten-anders.de _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
